>>373

違います。
十分性の確認で求められているのは

仮定：D=0 かつ Dp^2 - p =0
結論：奇数の完全数 y が存在し p はそれに対応する素因子

の証明です。
それをしてないのは>>353で

＞(B)から(A)を導く必要はありません。

と認めてるでしょ？
あなたは(B)から(A)を導出していません。
導出して下さい。