Pour tout $\vv{x}\in E$, on a : $$\ds\varphi(\vv{x},\vv{0_E})=\varphi(\vv{x},\vv{x}-\vv{x})=\varphi(\vv{x},\vv{x})-\varphi(\vv{x},\vv{x})=0$$