diff -r 5d860ff01938 -r fc2e3609d5e5 hws/proof.pdf
Binary file hws/proof.pdf has changed