“Poincaré–Birkhoff–Witt 定理” [Poincaré--Birkhoff--Witt定理]