Với mọi k∈Sk\in Sk∈S, áp dụng điều kiện cho i=j=ki=j=ki=j=k được (k+k)/gcd(k,k)=2(k+k)/\gcd(k,k)=2(k+k)/gcd(k,k)=2. Do đó 2∈S2\in S2∈S.