上述矛盾表明除 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,故它是唯一解。