Equivalence theorem: the rows of A span R^n (or C^n).

math.la.t.equiv.row.span