PBW theorem