等于formula_4：同样的，对于一个从formula_6线性空间formula_7射到formula_8线性空间formula_9的线性变换 formula_10， formula_11的秩是它的象的维度，formula_11的零化度是它的核（零空间）的维度。我们有：实际上定理在更广的范围内也成立，因为formula_7和formula_1可以是无限维的。
证明.证明的方法基于线性空间的基和同构。设formula_7是一个有限维线性空间，其维度formula_18。