Category:Multiplication of Real Numbers Distributes over Subtraction