Determine, with proof, any and all pairs of integers that satisfy the equation. (Hint: using common divisibility rules will be faster than the various forms of the Euclidean algorithm.)