A mathematical proof must be perspicuous.