Rank-Nullity Theorem