Equivalence theorem for nonsingular matrices: the columns of A are linearly independent.

Theorem: An $n \times n$ matrix $A$ is nonsingular iff the columns of $A$ are linearly independent. This is equivalent to $Ax=0$ having only the trivial solution.