diff -r a526f7f20cad -r 9a251e86c3ee hws/proof.pdf
Binary file hws/proof.pdf has changed