Kanonické kvantování a Ehrenfestův teorém