# theorem
## English
### Etymology

From Middle French théorème, from Late Latin theōrēma, from Ancient Greek θεώρημα (theṓrēma, “speculation, proposition to be proved”) (Euclid), from θεωρέω (theōréō, “I look at, view, consider, examine”), from θεωρός (theōrós, “spectator”), from θέα (théa, “a view”) + ὁράω (horáō, “I see, look”). See also theory, and theater.

### Pronunciation

* (UK) IPA: /ˈθiː.ə.ɹəm/
* Audio (Southern England):(file)
* (US) IPA: /ˈθɪəɹ.əm/
* Rhymes: (US) -ɪəɹəm

### Noun

theorem (plural theorems)
* (mathematics) A mathematical statement of some importance that has been proven to be true. Minor theorems are often called propositions. Theorems which are not very interesting in themselves but are an essential part of a bigger theorem's proof are called lemmas.
* (mathematics, colloquial, nonstandard) A mathematical statement that is expected to be true.
    Fermat's Last Theorem was known thus long before it was proved in the 1990s.
* (logic) A syntactically correct expression that is deducible from the given axioms of a deductive system.

#### Synonyms

* (proven statement): lemma, proposition, statement, see Thesaurus:theorem
* (unproven statement): conjecture
* See also Thesaurus:statement

#### Hyponyms

* Böhm-Jacopini theorem
* structured program theorem
* Bernoulli's theorem
* binomial theorem
* Carnot's theorem
* central limit theorem
* Ceva's theorem
* Cook-Levin theorem
* Cook's theorem
* cosine theorem
* De Morgan's theorem
* double angle theorem
* Dvoretzky's theorem
* Euclid's theorem
* exterior angle theorem
* extreme value theorem
* Fermat's Last Theorem
* Fisher-Tippett-Gnedenko theorem
* Fisher-Tippett theorem
* fundamental theorem
* fundamental theorem of algebra
* fundamental theorem of arithmetic
* Gauss' theorem
* Gleason's theorem
* Gödel's incompleteness theorem
* Gödel's theorem
* Green's theorem
* Haag's theorem
* Hales-Jewett theorem
* Hindman's theorem
* inscribed angle theorem
* intercept theorem
* Knaster-Tarski theorem
* Menelaus' theorem
* Milliken-Taylor theorem
* Nernst heat theorem
* Paris-Harrington theorem
* Pythagoras' theorem
* Rado-Folkman-Sanders theorem
* Rado's theorem
* Schur's theorem
* sine theorem
* Stokes' theorem
* Stone-Weierstrass theorem
* Szemerédi's theorem
* Thales' theorem
* time hierarchy theorem
* Turán's theorem
* Van der Waerden's theorem
* Abel-Ruffini theorem
* Abel's impossibility theorem
* Abel's irreducibility theorem
* Abel's theorem
* Arrow's theorem
* Atiyah-Singer index theorem
* Ax-Grothendieck theorem
* Ax-Kochen theorem
* bathtub theorem
* Bayes' theorem
* Bell-Kochen-Specker theorem
* Bell's theorem
* Belyi's theorem
* Bertrand-Chebyshev theorem
* Bézout's theorem
* Bloch's theorem
* Blum's speedup theorem
* Bombieri-Friedlander-Iwaniec theorem
* Bondareva-Shapley theorem
* Borsuk-Ulam theorem
* Brewer's theorem
* Brouwer fixed-point theorem
* Brouwer's fixed-point theorem
* Bruck-Ryser-Chowla theorem
* Brunn-Minkowski theorem
* Brun's theorem
* Budan's theorem
* Cantor-Bendixson theorem
* Cantor's theorem
* Castigliano's first theorem
* Castigliano's second theorem
* Castigliano's theorem
* Cayley's theorem
* Chebyshev's theorem
* Chen's theorem
* Chinese remainder theorem
* Church-Rosser theorem
* Clausius theorem
* Coase theorem
* commutant lifting theorem
* complex conjugate root theorem
* consensus theorem
* Darboux's theorem
* de Bruijn-Erdős theorem
* de Bruijn's theorem
* deduction theorem
* de Moivre's theorem
* Desargues's theorem
* Earnshaw's theorem
* Ehrenfest theorem
* Euler's rotation theorem
* Fary-Milnor theorem
* Feit-Thompson theorem
* Fermat's last theorem
* Fermat's little theorem
* fluctuation theorem
* four color theorem
* free will theorem
* Freiman's theorem
* Frucht's theorem
* Fubini's theorem
* Futurama theorem
* Gauss-Bonnet theorem
* Gauss-Lucas theorem
* Geiringer-Laman theorem
* Gelfond-Schneider theorem
* Gibbard-Satterthwaite theorem
* Gibbard's theorem
* Ginsberg's theorem
* Goddard-Thorn theorem
* Gomory's theorem
* Goodstein's theorem
* Gottesman-Knill theorem
* Gougu theorem
* Green-Tao theorem
* Grothendieck-Riemann-Roch theorem
* Grötzsch's theorem
* Hadwiger's theorem
* hairy ball theorem
* ham sandwich theorem
* Harnack's curve theorem
* Heine-Borel theorem
* Helly-Bray theorem
* Helly's selection theorem
* Helly's theorem
* Herbrand-Ribet theorem
* Herbrand's theorem
* Herglotz-Noether theorem
* Hilbert's basis theorem
* Hjelmslev's theorem
* Holevo's theorem
* Hurewicz theorem
* infinite monkey theorem
* intermediate value theorem
* Japanese theorem
* Jordan curve theorem
* Kazhdan-Margulis theorem
* Kleene fixed-point theorem
* Kleene's fixed-point theorem
* Kleene's recursion theorem
* Kleene's theorem
* Kochen-Specker theorem
* Kodaira vanishing theorem
* Kolmogorov-Arnold-Moser theorem
* Koopmans' theorem
* Krein-Milman theorem
* Kruskal's tree theorem
* KS theorem
* Kummer's theorem
* Kuratowski-Ulam theorem
* Kutta-Joukowski theorem
* Lefschetz fixed-point theorem
* Lickorish-Wallace theorem
* Lindelöf covering theorem
* Lindemann-Weierstrass theorem
* Liouville-Arnold theorem
* Löb's theorem
* Löwenheim-Skolem theorem
* Maharam's theorem
* Matiyasevich's theorem
* Mayer-Norton theorem
* mean value theorem
* Menger's theorem
* midline theorem
* midpoint theorem
* Miquel's theorem
* Mittag-Leffler's theorem
* monotone convergence theorem
* Monsky's theorem
* Morley's trisector theorem
* MRDP theorem
* Nachbin's theorem
* Neukirch-Uchida theorem
* no-communication theorem
* Noether's theorem
* no free lunch theorem
* no-ghost theorem
* no-go theorem
* no-hair theorem
* Norton's theorem
* orbit-stabilizer theorem
* Ore's theorem
* pancake theorem
* Pappus's hexagon theorem
* parallel axis theorem
* Parseval's theorem
* Pasch's theorem
* perpendicular axis theorem
* Petersen-Morley theorem
* Petersen's theorem
* Picard-Lindelöf theorem
* Poincaré-Birkhoff-Witt theorem
* Poynting's theorem
* Price's theorem
* prime number theorem
* Ptolemy's theorem
* Pythagorean theorem
* Radon's theorem
* Ramsey's theorem
* rank-nullity theorem
* rational root theorem
* Rice's theorem
* Richardson's theorem
* Riemann-Roch theorem
* Robertson-Seymour theorem
* Rolle's theorem
* Romanov's theorem
* Roth's theorem
* Runge's theorem
* Savitch's theorem
* scallop theorem
* Schiffler's theorem
* Sharkovskii's theorem
* Siegel-Walfisz theorem
* Slutsky's theorem
* Solèr's theorem
* spectral theorem
* Sperner's theorem
* Sprague-Grundy theorem
* squeeze theorem
* Stark-Heegner theorem
* Stone's representation theorem
* Størmer's theorem
* Sturm's theorem
* Sumihiro's theorem
* Sylow theorem
* Sylvester-Gallai theorem
* Tarski-Seidenberg theorem
* Tarski's fixed-point theorem
* Tauberian theorem
* Thales's theorem
* theorem of Pythagoras
* Thévenin's theorem
* Thue's theorem
* Titchmarsh convolution theorem
* Torricelli's theorem
* van der Waerden's theorem
* Varignon's theorem
* Veblen's theorem
* Vinogradov's theorem
* virial theorem
* Vitali-Carathéodory theorem
* Weierstrass-Lindemann theorem
* Whitney's theorem
* Wick's theorem
* Wigner-Eckart theorem
* Wilks's theorem
* Zeckendorf's theorem
* Zermelo's theorem

#### Holonyms

* theory

#### Related terms

* theoretical
* theory

#### Translations

    The translations below need to be checked and inserted above into the appropriate translation tables. See instructions at Wiktionary:Entry layout § Translations.

#### Further reading

* theorem on Wikipedia.Wikipedia

### Verb

theorem (third-person singular simple present theorems, present participle theoreming, simple past and past participle theoremed)
* (transitive) To formulate into a theorem.

#### Further reading

* “theorem”, in Webster’s Revised Unabridged Dictionary, Springfield, Mass.: G. & C. Merriam, 1913, →OCLC.
* William Dwight Whitney, Benjamin E[li] Smith, editors (1911), “theorem”, in The Century Dictionary […], New York, N.Y.: The Century Co., →OCLC.
* “theorem”, in OneLook Dictionary Search.