ax + by ≡ 1 MODULO xy ON THE CONGRUENCE