>>70
＞>>68
＞整式の方程式が恒等的に成立する場合は、その係数は全て00だというのは
＞高校数学で習うと思いますが

「係数が変数と無関係な定数である」
ならば
「整式の方程式が恒等的に成立する場合は、その係数は全て0」
は真ですが、
「∀p,「∃a,∃b,s.t.式⑤が成立する」」
は「a,bはpに依存する」という宣言です。
依存しないと言うのであれば
「pに依存せず式⑤が成立するa,bを選ぶことができる」
を証明しないといけません。