2.3.2 矩阵乘法的简单性质