Equivalence theorem: the transpose of the matrix A has an inverse.

math.la.t.equiv.transpose.inv