矩阵乘法的简单性质