线性代数矩阵乘定义(关于同济五版线代41页的证明疑问)