Equivalence theorem: the dimension of the column space of A is n.

math.la.t.equiv.col.dim