Teorema di Poincaré–Birkhoff–Witt