>D=0のときにはD(p^2-1)=0は、どのようなpでも満たされるということで
>全てのpに対応するyが奇数の完全数になる
>という命題

表現が曖昧なので数学記号で書いてみましょう

＞D=0のときにはD(p^2-1)=0は、どのようなpでも満たされる
D=0 ⇒ ∀p［D(p^2-1)=0］
これは真ですね

＞全てのpに対応するyが奇数の完全数になる
∀p［∃y［p|y ∧ σ(y)＝2y］］…①

＞という命題
(D=0 ⇒ ∀p［D(p^2-1)=0］)⇒∀p［∃y［p|y ∧ σ(y)＝2y］］…②
この命題の真偽はわかりません

ただいえるのは、①と②は同値なので、②が真だと言うためには、結局は①を証明しなければなりません。