定义0的后继为1，证明对于任何自然数都有a*1 = a

根据乘法定义 ab′ = ab+a a0 = 0 所以 a1=a*0+a=a

证明乘法结合律和交换律

结合律 (ab)c = a(bc) 图形证明:给定长宽高的立方体 将其翻转不会影响其体积

交换律 ab = ba 图形证明:给定长宽高的长方形 将其旋转不会影响其面积

证明乘法分配律

(a+b)c = ac + b*c