There are people who are intrigued by a mathematical proof, although they see, or believe, that the proof is completely in order.