展开 矩阵乘法定理证明