>>918
奇数の完全数yが存在するのを仮定して(yがあれば、必ずその約数pもある)、矛盾がでるようにしてんだろ。

なんで、証明の途中段階なのに、論理の中で約数pが存在するか存在しないかがあやふやなんだよ。