Put , so the Marsden identity is
Differentiating times with respect to gives
The exact Taylor formula for a polynomial is
Substitution of the differentiated Marsden identities yields
where
Differentiating this expression for produces two sums whose adjacent terms cancel. The uncancelled endpoints contain and , both zero because the two functions have degree at most . Thus
so the Marsden dual functional is independent of the auxiliary point .