ex09.tex