Equivalence theorem for nonsingular matrices: the matrix A has a left inverse.
Theorem: An $n \times n$ matrix $A$ is nonsingular iff $A$ has a left inverse: there exists $B$ such that $BA = I$. For square matrices, left inverse implies right inverse.