Thread: congruence

Prove that:

If a ≡ b (mod n) and m|n then, a ≡ b (mod m).

by def, is the same as for some integer

implies for some integer .

combine the facts..