diff -r 7bdd53a12364 -r 0426cd1336f7 hws/proof.pdf
Binary file hws/proof.pdf has changed