矩阵乘积的运算法则的证明.