Proof is an idol before which the mathematician tortures himself.