Update pro.tex