ステップ4で n≥6n\ge6n≥6 のすべてを排除し、ステップ5で n=3,4,5n=3,4,5n=3,4,5 を排除し、ステップ1で残る二つの場合を確認した。したがって、すべての組は (k,n)=(1,1)(k,n)=(1,1)(k,n)=(1,1) と (k,n)=(3,2)(k,n)=(3,2)(k,n)=(3,2) である。