(\forall u\in C(I))\Big((\forall \varphi\in C_{0} (I))(P(u,\varphi)) \Rightarrow u\equiv 0\Big)