Consider the first m rows of A, the first m equations; any solution of the full list of equations must also be true of the reduced list.
A の最初の m 列、最初の m 方程式を考えよう； 方程式の全リストの任意の解は減らされたリストでも解でなければならない。