Assume that xa + yb = 0 and gcd(a,b) = d. By dividing the equality xa + yb = 0 by d, we get the situation of the lemma. The theorem now follows.