a. Let a, b, c be positive integers and suppose that

a | c, b | c, and gcd(a, b)=1.

Prove that ab | c.

b. Let x = c and x = c' be two solutions to the system of simultaneous congruences in the Chinese remainder theorem. Prove that

c= c' (mod m1m2....mk)