Update hw9.tex