Still from Gauss.
|
If a ≡ b (mod m) and c ≡ d (mod m)
then ac ≡ bd (mod m) |
|
Observe we can multiply the first by c to get:
ac ≡ bc (mod m) and multiply the second by b and get: bc ≡ bd (mod m) Apply rule 4 on page 1. QED |
By repeated application of the multiplication rule it follows:
One can
multiply an arbitrary set of congruences for the same modulus.
In particular a congruence may be multiplied by itself any number of times so we have:
A congruence may be raised to an arbitrary positive integer power.
Since any of the operations: Addition, Subtraction, and Multiplication when applied to congruent numbers will give congruent results, we conclude that any algebraic expression constructed by use of these operations will give congruent results when congruent values are substituted.