Rank_Nullity_Theorem.Dual_Order