Teorema 4.3.1Teoremapág. 254
Criterio de matriz invertible — en Álgebra Lineal y sus Aplicaciones
“Sea A una matriz cuadrada de n x n. Entonces A es invertible si y sólo si el número de pivotes de su forma escalonada es n; equivalentemente, si y sólo si det A ≠ 0.”
Si det A ≠ 0 la matriz es invertible y el sistema tiene solución única. Acá det A = 0: al escalonar aparece la fila 0 = 1 y el sistema resulta incompatible.