Let S be a set of integers (not necessarily positive) such that
(a) there exist a,b∈S with gcd(a,b)=gcd(a−2,b−2)=1;
(b) if x and y are elements of S (possibly equal), then x2−y also belongs to S.
Prove that S is the set of all integers. AMCUSAMOmodular arithmeticnumber theory