aux9.tex