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.
Considérense as primeiras m filas de A as primeiras m ecuacións; algunha solución da lista completa de ecuacións debe ser tamén válida para a lista reducida.