Fix a typo ("and proving a proposition by" becomes "and prove a proposition by")