Rank-nullity theorem

For a linear map T: V → W on finite-dimensional V, dim V = rank T + nullity T. The dimension is split between image and kernel.