>881
>ということは、3 の時も 4 の時も同じこと z^p までやるのですか？
元の証明にはないですね。

z^pとz^p*1と(z^p/2)*2と(z^p/3)*3は、同じなので、
z^p*1のみを検討すればよいです。