Emmy Noether's wonderful theorem