Proof is an idol before whom the pure mathematician tortures himself.