Integer Multiplication Distributes over Subtraction