Create teorem2.tex