diff -r 1ea379515c6d -r 358a72d7bf71 hws/proof.pdf
Binary file hws/proof.pdf has changed