diff -r 9470cd124667 -r bc03ff3d347c hws/proof.pdf
Binary file hws/proof.pdf has changed