>>257
例えばn=5のとき、u=p^4+p^2+1から始めて、
 1を引いて、pで割って、またpで割って、
という操作を何度か繰り返すと、いつかは0になる
そうやってDが0になったとき、
 D(p^2-1)=0
を評価したら確かに正しいね、ってことにはなる