@videlity Ok that makes perfect sense since it divides one side of the equation it must divide the other side. Can I have a hint for the reverse direction? I need if and only if
– Vinny ChaseSep 26 '17 at 03:05
@VinnyChase I believe the proof is a constructive one using the extended Euclidean algorithm/Bezout's lemma.
– videlitySep 26 '17 at 03:13
The condition is clearly necessary, and it is sufficient by Bezout's gcd identity, which works for any number of arguments (a simple, conceptual proof.is here.)
– Bill DubuqueSep 26 '17 at 03:28