奇数の完全数の存在に関する証明

[0615 １３２人目の素数さん 2018/09/29(土) 17:45:02.16 ID:NOkQLkZZ]

つまり，
「0(p^2-1)=0はすべてのpで成り立つ」
と
「p≠4q+1なら，yは完全数でない」
が同時に成り立たないことを示してください。