>>907
任意の p を1つとって（ここでとりあえず p_0 とでもしておくべき）
その p_0 に対して b を設定したんでしょ （これも b_0 とでも書いておくべき）
ということは④は恒等式ではなくて特定の値に対してしか成立しない方程式になるんじゃなくて？