>835
>> B=Dでないときに解があるとすれば、B=Dのときにも、解があります。

>そのことを証明していないので、証明は間違いです。

z^pと(z^p)*1と(z^p)/2*2は、同じです。
(z^p)*1のとき、x,y,zの有理数解が、ないならば、(z^p)/2*2のときも、ありません。