Basic operation rules have been established, including addition, positive scalar multiplication, cancellationlaw for addition and so on.
基本的运算法则已经形成，包括加法运算、数乘运算、加法的消去律等。
2
Here we have used the associative law or the cancellationlaw for multiplication, which are satisfied for natural Numbers, now we assume they are satisfied with fraction Numbers.
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 cancellationlaw for multiplication.