PX153 - K8 - properties of matrix inverses

((A1)TAT)ik=j=1n(a1)ijT(a)jkT=j=1n(a1)ji(a)kj=j=1nakjaji1=(AA1)ki=(I)ki=(I)ik