Noether's theorem
Noether's theorem for gauge transformations.