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

[0225 ◆RK0hxWxT6Q 2018/09/24(月) 14:40:19.12 ID:Hyq3r1I/]

>>222
＞(A) ⇒ (C)
を証明していることを確認しているのであれば、その対偶
NOT (C)⇒NOT (A)
が成立するでしょう。