>>712
＞＞>>530はu=s=0となると書いてありますから別証明１は間違いです。
＞間違いではありません。全てのpで成り立つ不定の場合には、多項式の係数は全て0です。
間違い。すべての p で成り立つ式は D=0 かつ Dp^2-D=0 であって、
up^2-sp-u+1=0 がすべての p で成り立つことは別証明１で示されていない。
証明は成立していない。

＞＞式 up^2-sp-u+1=0 (A)と式 (p-1)(up+u-1)=0 は全く異なる式ですので、
＞いいえ同じ式です。p=1を解に持つのであれば、p-1で因数分解できます。
そうやって誤魔化したらダメだろ。後者は up^2-p-u+1=0 であって(A)とは異なる。