Natural Number Multiplication Distributes over Addition/Proof 1