>>502
>関係を設定することができると
立証していることになる。

ルジャンドル予想の否定が成り立つ仮定のもと、すなわち区間に入るpが全て合成数となるnが存在するという仮定のもとで、そのnですら関係を
設定できるアルゴリズムを作ったと主張してるんだから
関係を設定できて当たり前ですよ

関係を設定した上で、矛盾が起きないなら、ルジャンドル予想の否定は否定されたことになりませんよ