设A是n阶正交阵,证明ATA-1A*也是