Teoremas derivados de Poincaré-Birkhoff-Witt (con un apéndice de Vladimir Dotsenko)