Rank_Nullity_Theorem.Dim_Formula