diff -r 8aa406adfde0 -r 66f66f1710ed hws/proof.pdf
Binary file hws/proof.pdf has changed