Let $S$ be a set of integers which has the following properties: 1) There exists $x,y\in S$ such that $(x,y)=(x-2,y-2)=1$; 2) For $\forall$ $x,y\in S, x^2-y\in S$. Prove that $S\equiv \mathbb{Z}$ .
Problem
Source: VII International Festival of Young Mathematicians Sozopol, Theme for 10-12 grade
Tags: number theory, set theory