Create proof.tex