Basic operation rules have been established, including addition, positive scalar multiplication, cancellation law for addition and so on.

基本的运算法则已经形成，包括加法运算、数乘运算、加法的消去律等。

youdao

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.

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

youdao