diff -r fb8ee3f58d19 -r 3e1b8266ea65 hws/proof.pdf
Binary file hws/proof.pdf has changed