Variational theorem proof: specific case