Poincare--Birkhoff--Witt Theorem