Linear mapping/Matrix and basis/Rank/Fact

Let denote a field, and let and denote -vector spaces of dimensions and . Let

be a linear mapping, which is described by the matrix , with respect to bases of the spaces.

Then
holds.