Linear Algebra MT23, Rank-nullity theorem