Noether's theorem