which satisfies the conservation equation ∂ ∂ μ μ J μ μ ( x ) = 0. The form of the conserved current can be derived systematically by applying Noether's theorem to the U ( 1 ) symmetry. We will not do so here, but simply verify that this current is conserved.