prop.md

• 矩阵乘法不满足交换律
• 矩阵乘法满足结合律
• 两个非零矩阵的乘积可能是零矩阵
• 矩阵乘法不满足消去律（不同的两个矩阵与同一个矩阵相乘可能得到同一个矩阵）
• 矩阵乘法满足分配率