a \equiv k_1 (\mod m) \wedge b \equiv k_2 (\mod m) \Rightarrow ab \equiv k_1k_2 (\mod m)