Create the_PBW_theorem.tex