Avec
et
On a
La première intégrale s'intègre par parties (comme dans la démonstration générale des équations d'Euler-Lagrange) :
et, comme , le terme intégré est nul.
On a ainsi :
car en échangeant les indices muets, .
On obtient la forme finale de est factorisant :