>>90
あと、
>a≡h+k (mod p)で、a≡0 (mod p)
これはg≡0(mod p)が証明できてないから言えない