Update hw7.tex