The next case N = 10 has been ruled out by massive computer calculations.
次の場合は N = 10 が、大規模計算機の計算により除外された。