Выдержка из книги
Янг Л.N.
Лекции по вариационному исчислению и теории оптимального управления
Представим g в виде интеграла gt dt, соответствующего определенной параметризации x ( t) траектории С, где x ( t) удовлетворяет условию Липшица. Тогда, по условию ( ii), gtfn gtfo для почти всех t и, значит, gfa gfa. Таким образом, теорема полностью доказана.