The row echelon form contains a row like $[0, 0, 0 | 1]$

The matrix is square and invertible

The number of variables equals the rank

The determinant of the coefficient matrix is non-zero