Noether's theorem
This shows we can extend Noether's theorem to larger Lie algebras in a natural way.