Poincaré–Birkhoff–Witt stelling