A proof alters the grammar of a proposition, so an unproved statement is not yet a proposition in th...