明示的な無限族を一つ作れば十分であり、すべての aaa を求める必要はない。
各整数 r≥2r\ge2r≥2 に対して a=4r4a=4r^4a=4r4 と置く。異なる rrr は異なる自然数 aaa を与えるので、そのような各 aaa が条件を満たすことを示せばよい。