Rank_Nullity_Theorem.Mod_Type