The rank–nullity theorem is a theorem in linear algebra, which asserts:
the number of columns of a matrix M is the sum of the rank of M and the nullity of M; and
the dimension of the domain of a linear transformation f is the sum of the rank of f...
Wikipedia