diff -r c502933be072 -r b718b9770dae hws/proof.pdf
Binary file hws/proof.pdf has changed