k=9k=9k=9 のとき I9={99,100,…,126}I_9=\{99,100,\ldots,126\}I9={99,100,…,126} であるから、99≤n≤12699\le n\le12699≤n≤126 を満たすすべての nnn ——特にこの範囲内のすべての n≥100n\ge100n≥100 ——に対して有効な三つ組が既に存在する。