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

math.la.t.equiv.row.basis