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

– Arthur Eddington