Rank–nullity_theorem loading ...