Conditions for Function to be First Integral of Euler's Equations for Vanishing Variation/Corollary