diff -r a6a5ba526d73 -r f09d9db4e922 hws/proof.pdf
Binary file hws/proof.pdf has changed