>874
>B=Dでない場合の証明は今回もなしですか?

2=Dの場合は、
z^pとz^p*1と(z^p/2)*2は同じです。