Text this: Sobre o teorema de Poincaré-Birkhoff-Witt