Fundamental lemma of calculus of variations