Poincaré–Birkhoff–Witt theorem

Poincaré–Birkhoff–Witt theorem