diff -r 76678ad5079d -r a61b50c5d57f hws/proof.pdf
Binary file hws/proof.pdf has changed