Multiplication modulo C
(A×B) mod(C) = (A mod(C))×(B mod(C)) mod(C)
This are easy to prove simply by considering A as the number C⋅qa+ra, and B as the number C⋅qb+rb, where 0≤ra,rb<C and qa,qb are integers. This is possible to do because of the Quotient Remainder Theorem.
Substituting for A and B in the equation above, we get
((C⋅qa+ra)(C⋅qb+rb)) mod(C)=(ra⋅rb) mod(C).
Then, if we multiply out the left hand side, we get
(C⋅(C⋅qa⋅qb+qa⋅rb+qb⋅ra)+ra⋅rb) mod(C)=(ra⋅rb) mod(C).
But, because C mod(C)=0, the left hand side simplifies to (ra⋅rb) mod(C), which equals the right side and completes our proof. □
Addition modulo C
(A+B) mod(C) = (A mod(C))+(B mod(C)) mod(C)
This can be proved in a similar way as the one above. If we take A as the number C⋅qa+ra, and B as the number C⋅qb+rb, we can prove this relationship quite easily. I will leave this proof as an exercise for the reader.