Congruence of Product

Theorem
Let $$a, b \in \Z$$ and $$n \in \N$$.

Let $$a$$ be congruent to $b$ modulo $n$, i.e. $$a \equiv b \pmod n$$.

Then $$\forall m \in \Z$$:
 * $$m a \equiv m b \pmod n$$;
 * $$m > 0 \implies m a \equiv m b \pmod {m n}$$;

Proof

 * From Congruence Modulo m Equivalence, $$m \equiv m \pmod n$$.

Thus from the definition of Multiplication Modulo m, it follows that $$m a \equiv m b \pmod n$$.


 * By definition of congruence modulo $n$:

$$ $$ $$ $$