diff -r b5b5583a3a08 -r 6acabeecdf75 hws/proof.pdf
Binary file hws/proof.pdf has changed