proof of the equations of motion