Equivalence theorem: the equation Ax=0 has only the trivial solution.

math.la.t.equiv.mat.eqn.homog