diff -r 4758a6155878 -r 1ab41c59e3d3 hws/proof.pdf
Binary file hws/proof.pdf has changed