抽象方程.设formula_18为一个环，formula_2就是一个包含"formula_18"的系数的formula_21矩阵。所以：当中formula_23就是"formula_2"的行列式，以及formula_25就是单位矩阵。
证明概要.对于formula_26元线性方程组formula_27把系数矩阵 表示成列向量的形式formula_28由于系数矩阵可逆，故方程组一定有解formula_29.设formula_30，即f