Update hw15.tex