 Since is, by construction, divisible by both and , we can write
for some nonnegative integers "h" and "k".To check whether two numbers, like "med" and "m", are congruent mod "pq", it suffices (and in fact is equivalent) to check that they are congruent mod "p" and mod "q" separately.To show , we consider two cases