>>177
違います。
十分性の確認とはDp^2 - D = 0を仮定して⑤を導出することです。
{⑤の解 }⊂{Dp^2 - D=0} と {⑤の解 }⊃{Dp^2 - D=0} の両方の確認をして初めてこの２つは同値であると主張できます。
このルールに文句があって従うつもりがないなら、数学の論文としては永遠に認めてもらえません。