Rank-nullity theorem

The rank-nullity theorem states that the dimension of the kernel plus the dimension of the range equals the dimension of the domain.