diff -r 0806e45d873c -r a2c18456c6b7 hws/proof.pdf
Binary file hws/proof.pdf has changed