Create prov01.tex