Equivalence theorem: the linear transformation given by T(x)=Ax is onto/surjective.

math.la.t.equiv.lintrans.surjective