diff -r 155426396b5f -r f063a6cd5d91 hws/proof.pdf
Binary file hws/proof.pdf has changed