Theorem
There are other theorems for which a proof is known, but cannot be easily written down. Among the best examples are the four color theorem and the Kepler conjecture. Both of these theorems are only known to be true by reducing them to a computational search which is then verified by a computer program. At first, many mathematicians did not accept this form of proof, but it has become more widely accepted over the years. The mathematician Doron Zeilberger has even gone so far as to claim that these are possibly the only nontrivial results that mathematicians have ever proved. Many mathematical theorems can be reduced to simpler computations, including polynomial identities, trigonometric identities and hypergeometric identities.