Poincaré-Birkhoff-Witt Theorem
   HOME