由矩阵乘法的定义，存在一个 formula_61 矩阵 formula_62, 使得 formula_63. (formula_1 的 formula_65 元素是 formula_66 与 formula_62 的第 formula_68 个行向量的点积.)现在，由于 formula_63, formula_1 的每个行向量是 formula_62 的行向量的线性组合，这意味着 formula_1 的行向量空间被包含于 formula_62 的行向量空间之中. 因此 formula_1 的行秩 ≤