ou seja, usar operações elementares de linha para chegar a uma forma escalonada, depois fazer substituição regressiva e classificar (única solução, infinidade ou sem solução).
Eliminamos x de baixo da primeira coluna: L_2 \leftarrow L_2 - 2 \cdot L_1, L_3 \leftarrow L_3 + 3 \cdot L_1, L_4 \leftarrow L_4 - 4 \cdot L_1.
Isso dá