PX153 - K8 - properties of matrix inverses

((A−1)TAT)ik=∑j=1n(a−1)ijT(a)jkT=∑j=1n(a−1)ji(a)kj=∑j=1nakjaji−1=(AA−1)ki=(I)ki=(I)ik