Poincaré–Birkhoff–Witt theorem

GPTKB entity