证明对 A, B in M_n 若 AB = I ,则 BA = I (不平凡)。