각각의 $n \geq 2$ 에 대해, 다음을 만족하는 $n$개의 정수의 집합 $S$가 존재함을 보여라: 모든 서로 다른 $a, b \in S$ 에 대해 $(a-b)^2$이 $ab$를 나눈다.