Equivalence theorem: the rows of A are linearly independent.

math.la.t.equiv.row.linindep