Fundamental lemma of the calculus of variations
= Fundamental lemma of the calculus of variations
{wiki}
If a continuous function $f$ satisfies
$$
\int_a^b f(x)\eta(x)\,dx=0
$$
for every smooth compactly supported test function $\eta$, then $f=0$ on $(a,b)$.