因为 ABAC=I
所以 C 可逆 且 C^-1 = ABA
所以 CABA = I
两边取转置得 A^TB^TA^TC^T = I^T = I.