>>476
何を言っているのかさっぱり分からない。

この証明では最終的にpが不定になるということにならなかったが
変数pを満たす方程式が不定になるということであれば、
全ての整数pで成り立つことになり、矛盾が生じる。
このぐらいのことは当たり前だ捉えてほしいが何故いけないのか
説明してくれ。