数値評価により極大集合は少なくとも 100 個を含む。
なので 。 から任意の 個を選べば、対応する平行移動集合は互いに素である。 99⋅10101=999999<10699\cdot10101=999999<10^699⋅10101=999999<106 TTT ∣T∣≥100|T|\ge100∣T∣≥100