The row echelon form contains a row $[0, 0, \dots, 0 | k]$ where $k \neq 0$

The matrix has more columns than rows

The rank of the matrix is equal to the number of variables

The system has exactly one solution