Mathematical proofs, like diamonds, are hard and clear, and will be touched with nothing but strict reasoning.