ula_13有关。再假设一个波函数formula_14遵守薛丁格方程式formula_15。求formula_8期望值对于时间formula_13的导数，其中，formula_18是交换子。假若，formula_8与哈密顿量formula_9是可交换的，而且不显性地含时间，则所以，formula_8是运动常数。