If the matrix is nonsingular, then it has an inverse.

So if you go through the process of setting up the augmented matrix and performing row operations to find the inverse, the inverse is

.

Since you can never divide by , that means that the matrix will have an inverse as long as the stuff in the denominator, .