Equivalence theorem for nonsingular matrices: the matrix A is a change-of-basis matrix.

Theorem: An $n \times n$ matrix $A$ is nonsingular iff $A$ is a change-of-basis matrix. A change-of-basis matrix maps one basis to another and is always invertible.