系のハミルトニアンformula_7は観測可能である(と仮定される)のでformula_8であり、formula_1は保存量である。