n阶方阵A,B乘法可交换,证明矩阵A的特征子空间都是矩阵B的不变子空间