>>67
＞上の方です。

「∀p,「∃a,∃b,s.t.式⑤が成立する」」
であるなら, 異なるpに対し, aやbは異なることが許されますね。
式⑤の係数が0となるべき理由はありません。