>>754
fとhはpの0次元変数なので、恒等式となる(任意のpに対して成立する)場合は
係数比較をして問題ないと思います。

私が常識だと言ったのは、定数をc(k),n=0,1,…,nとした場合に
任意のpに対して
Σ[k=0,n]c(k)p^k=0
が成立するのであれば、そのとき
c(0)=c(1)=…=c(n)=0
が成立するということです。