Update hw30.tex