ネーターの定理
conserved by Noether's theorem due to U(1)-invariance of the system.