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

[0534 １３２人目の素数さん 2018/09/28(金) 19:11:41.84 ID:fxM/yjhe]

「「0(p^2-1)=0⇒p=4q+1」は成り立たない」
ってのを
「0(p^2-1)=0⇒p≠4q+1」
の意味で捉えてそうな感じがしません？