>>281
AA^1=tAA^1=t(t(A^1)A)=tAt(A^1)=At(A^1)=E
よってt(A^1)=A^1