Multiplication of Real Numbers Distributes over Subtraction