On a Order Reduction Theorem in the Lagrangian Formalism
  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. 
Dan Radu Grigore