>>232
>zh≡0 (mod p+1)
>z(2k+h)≡0 (mod p-1)

はどこから出てきた。