Rank-nullity theorem