Noether's theorem
同じことであるが、保存カレントの存在は、ネーターの定理を通して、対称性の存在を導く。対称性は時間変換に対し不変で、対称性の生成子（もしくは、ネーター・カレントはハミルトニアンである。