Equivalence theorem for nonsingular matrices: the matrix A row-reduces to the identity matrix.

Theorem: An $n \times n$ matrix $A$ is nonsingular iff $A$ row-reduces to $I_n$. This means $A$ is a product of elementary matrices, hence invertible.