diff -r 5d85dc9779b1 -r 55f097ab96c9 hws/proof.pdf
Binary file hws/proof.pdf has changed