diff -r 12d744ff9607 -r fd7f4f23d4af hws/proof.pdf
Binary file hws/proof.pdf has changed