>>535 訂正
・nが複数の値でpを無限大にすると成立するから矛盾する
・無限大の素数は奇数の完全数になるからそれ以外には存在しない
・無限大ではそうなるけれどもそれはあくまでも近似値だから存在せず、どこかに一つ存在する