We can create additional solutions by subtracting a multiple of b from x1 and
adding the same multiple of a onto y1. In other words, for any integer k we obtain
a new solution (x1 + kb, y1 − ka).
1 We can check that this is indeed a solution by
computing