nが√n以下のどの素数でも割り切れなければ、nは素数である。
を
nは素数でなければ、nが√n以下の素数で割り切れる。
に変形できるでしょうか？
もしそうなら、10時間の格闘に終止符です。