Update 2013-08-04-beginning-how-to-prove-it.md