矩阵证明,对于n阶矩阵A,若存在一矩阵B使得AB=E,则有AB=BA=E