If no one understands a proof, then it is not a proof