>>184
y が奇数の完全数 p が multiplicity 奇数の素因子…(A)⇒ p ≡ 1 (mod 4)
はその通りですね。

一方で
(H) ＆ n=5⇒ D=0

も証明されました。
しかし、ここから

D=0 ⇒ p ≡ 1 (mod 4) でない。…(B)

などが証明できたのならたしかに矛盾です。
でもそんな証明ありませんよね？
あなたが主張してるのは

「たとえp ≡ 1 (mod 4) でなかったとしても>>159が成立する場合がある…(C)」で、それは正しいですが、これは(B)を意味しませんよ？
(C)⇒(B)が証明できますか？