Its easier to be persuaded by a proof than write a persuasive proof.

@williballenthin