>832
>それでは結局「B=Dのときと、B=Dでないときがある」ことに変わりはありませんね。

B=Dでないときに解が見つかるかもしれないのにそのことを全く確かめていないので
証明は間違いです。

B=Dでないときに解があるとすれば、B=Dのときにも、解があります。
(p=2の場合を参照して下さい。)