diff -r 91b888c91d73 -r e5b7e3ca9f6b hws/proof.pdf
Binary file hws/proof.pdf has changed