Ehrenfest theorem