diff -r e85600529ca5 -r 4794759139ea hw/proof.pdf
Binary file hw/proof.pdf has changed