We then can verify the associative law and the commutative law for multiplication, and the uniqueness of the result of addition indicates the uniqueness and the cancellation law for multiplication.

• 我们容易验证乘法满足结合律和交换律，并且由加法结果的唯一性得出乘法结果的唯一性和乘法消去律。