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