方程式のリストに同値である。方程式の全リストの任意の解は減らされたリストでも解でなければならない。行の任意のリストであれば、方程式はそれらの行に対して正しくなければならない。.\,\!}さらに、逆も正しい。}=0\,\!}かどうかをテストすることによってテストできる。つの行列式を要求する。ベクトルは線型従属でなければならないことは定理である。実用計算においてはより効率的な方法が利用可能である。次のベクトルは線型従属である。_{3}/2\end{aligned}}}とすれば非自明な関係を得る。