Equivalence theorem for nonsingular matrices: the columns of A are a basis for R^n (or C^n).

Theorem: An $n \times n$ matrix $A$ is nonsingular iff the columns of $A$ form a basis for $\mathbb{R}^n$ (or $\mathbb{C}^n$). Every vector $b$ can be uniquely expressed as $Ax$.