>>90
gとhを定数だとすると、2b=gp+hで、bも定数なので、p=(2b-h)/gであるpも定数です。定数pを方程式に当てはめることはナンセンスですし、pが任意の値で成立したりもしません。
なお、bは(p^n+...+1)の倍数なのでb>pであり、0<h<pよりg≠0となります。