  We provide a new proof of a important theorem in the Lagrangian formalism
about necessary and sufficient conditions for a second-order variational system
of equations to follow from a first-order Lagrangian.
