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