>>779
論文の対応付けアルゴリズムが、実際のプログラムと異なるなら、ただの虚偽プログラムです。

論文の対応付けアルゴリズムとプログラムが同一なら、“そのような場合は実際にはないので”、と想定されていることから、論文の対応付けアルゴリズムの段階で、ルジャンドル予想が正しいということが前提とされている証になります