Rank_Nullity_Theorem.Miscellaneous