Proof of Ehrenfest theorem