I'm having some trouble figuring out how to give a direct proof using the definitions of mod m and congruence modulo m, without using any theorem involving mod or congruence.
if $a, b, c$ & $m$ are integers such that $m \geq 2$, $c > 0$ and $a \equiv b \pmod{m}$, then $ac \equiv bc\pmod{mc}$