c = a mod b x ≡ y (mod a + b)

1