The next case N = 10 has been ruled out by massive computer calculations.
下一個 N = 10 的例子也已透過大量的電腦運算排除。