diff -r 3b9496db3fb9 -r 3390e863d796 hws/proof.pdf
Binary file hws/proof.pdf has changed