以上の矛盾から 222 以外の元は存在しない。S={2}S=\{2\}S={2} は (2+2)/gcd(2,2)=2(2+2)/\gcd(2,2)=2(2+2)/gcd(2,2)=2 により条件を満たすので、唯一の解である。