证明对方阵 A, B ，若 AB = I ，则 BA = I 也成立（不平凡——依赖于维度有限）。