Noether's theorem
conserved by Noether's theorem due to U(1)-invariance of the system.