>>186
その部分を以下に訂正します。
4g(a-r)≡4gh(p+1)≡8gh (mod p-1)
4g(a-k+h)≡8gh (mod p-1)

h≡0 (mod p-1)より
4g(a-k)≡0 (mod p-1)