Noether’s theorem