>>221
>w≡-zk+zk+zh≡zh≡0 (mod p+1)
>w≡z(k+h)≡0 (mod p)
>w≡z(2k+h)≡0 (mod p-1)

はどこから出てきた。