>>343
十分性の確認だということだと思います。
(B)から(A)を導く必要はありません。(A)であるならばその値のpは(B)で計算されるということですから
yが完全数であるのであれば、方程式の解pが
y=p^n×b
により、yが一意に決定されるというだけです。
(B)かつD=0の場合は全てのpに対して真になるので
この全てのpに対して、y=p^n×bが完全数になるということになります。

この内容は方程式を解く上で非常に基本的な内容だと思いますが。