diff -r 33b3e790e1d4 -r 5e070fb0332a hws/proof.pdf
Binary file hws/proof.pdf has changed