lecture25: conservation laws and Noether's theorem