Noether theorem