Mathematical Proofs = Intelligent Design