diff -r a2c18456c6b7 -r 4755ad4b457b hws/proof.pdf
Binary file hws/proof.pdf has changed