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