＞bがbkで割り切られる条件が⑩だから
そうなるkはただ一つだけである。理由はpがyに対して一意だから。よって
＞bは他のkについても全て割り切られなければならない
の主張は成り立たない。
１つだけの例でしか成り立たないことを「全て」と言い張るから、∀と∃が区別できないなどと揶揄されるのだよ。