乘法还额外满足交换律