> >>662
> nに対して実数解を1つ持つことの証明を書いた人が過去スレにいます

では「⑤をpに関する(n+1)次方程式とみなしたときに実数解が存在する」は真とします

ですが「⑤をpに関する(n+1)次方程式とみなしたときの実数解に4m+1型の素数がある」ことは自明ではないのでは？
これが解決されない限り「変更後のp」の根拠がないため、以降の議論が空論となってしまいます