>>511
そもそもの話になりますが、

今回証明しようとしている命題は
∃y:奇数［σ(y)＝2y］です
これと同値な命題は
∃p:奇素数［∃y:奇数［p|y ∧ σ(y)＝2y］］
です。
なので、
∀p:奇素数［∃y:奇数［p|y ∧ σ(y)＝2y］］
を証明することには何の意味もないですね。