“…The proof of the theorem is given in [51], which improves on earlier versions [41,74] in that the latter assumes in addition that H[h, π] be an even function of π , corresponding to the requirement of time reversibility of the generated evolution. This was overcome in [51] by the clever move to write the condition set by {H (α 1 , 0), H (α 2 , 0)} = H (0, β ) (the right-hand side being already known) on H (α, 0) in terms of the corresponding Lagrangian functional L, which is then immediately seen to turn into a condition which is linear in L, so that terms with even powers in velocity decouple form those with odd powers.…”