diff -r afd9dd575fc8 -r c885ed3c39cf hws/proof.pdf
Binary file hws/proof.pdf has changed