Let a, b, m, n be positive integers. State a necessary and sufficient condition for the system of congruences x a (mod m) and x b (mod n) to have a solution.