diff -r 494b44b439bf -r 2f9fe225ecc8 hws/proof.pdf
Binary file hws/proof.pdf has changed