# ProofWiki:Wanted proofs list

From ProofWiki

**Notes:**

- $(1): \quad$ This may not be every wanted proof. This is just an explicit list that users would like to see. For other pages that have had links created but the page has not yet been created see
**this page**. The proofs below will also be included on that page.

- $(2): \quad$ The original intention of this page was to list
**significant**results which have been attributed a particular name. If we were to fill it up with sundry statements whose title merely describes the contents, this page would rapidly become unmanageably unwieldy. If you feel the need to keep track of such lesser results, feel free to implement such a list in your personal user page.

- Frobenius's Theorem --Matt Westwood 18:38, 8 November 2008 (UTC)
- Wedderburn's Theorem --Matt Westwood 18:38, 8 November 2008 (UTC)
- Whitney Immersion Theorem --Matt Westwood 08:09, 18 January 2009 (UTC)
- Whitney Embedding Theorem --Matt Westwood 08:09, 18 January 2009 (UTC)
- Topological h-Cobordism Theorem --Matt Westwood 08:09, 18 January 2009 (UTC)
- Thurston's Geometrization Conjecture --Matt Westwood 08:09, 18 January 2009 (UTC)
- Tartaglia's Formula --Matt Westwood 06:39, 15 March 2009 (UTC)
- Burnside's Theorem --Joe (talk) 16:50, 16 March 2009 (UTC)
- Abel-Ruffini Theorem [1] --Matt Westwood 20:45, 16 March 2009 (UTC)
- Central Limit Theorem --HrMeyer 20:53, 23 April 2009 (UTC)

- Equivalence of Definitions of Trigonometric Functions --Cynic (talk) 20:41, 4 May 2009 (UTC)
- Gödel's Second Incompleteness Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
- Liouville's Theorem (Number Theory) [2] --Matt Westwood 21:08, 8 May 2009 (UTC)
- Liouville's Theorem (Hamiltonian Mechanics) [3] --Matt Westwood 21:08, 8 May 2009 (UTC)
- Liouville's Lemma [4] --Matt Westwood 21:08, 8 May 2009 (UTC)
- Liouville's Theorem (Differential Algebra) [5] --Matt Westwood 21:08, 8 May 2009 (UTC)
- Liouville's Theorem (Conformal Mappings) [6] --Matt Westwood 21:08, 8 May 2009 (UTC)
- Braess's Paradox --Matt Westwood 21:08, 8 May 2009 (UTC)
- Bézout's Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
- Weierstrass Preparation Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
- Cauchy Integral Formula --Matt Westwood 21:08, 8 May 2009 (UTC)
- Morera's Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
- Grötzsch Modulus Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
- Sturm's Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
- Montel's Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
- Lindemann-Weierstrass Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
- Sturm-Picone Comparison Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
- Rescaling Lemma --Matt Westwood 21:08, 8 May 2009 (UTC)
- Sokhatsky-Weierstrass Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
- Sturm Separation Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
- Riemann Uniformization Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
- Stone-Weierstrass Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
- Extended Euclidean Divison Algorithm --Matt Westwood 21:08, 8 May 2009 (UTC)
- Zalcman's Rescaling Lemma --Matt Westwood 21:08, 8 May 2009 (UTC)
- Knuth-Bendix Completion Algorithm --Matt Westwood 21:08, 8 May 2009 (UTC)
- Weierstrass Factorization Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
- Teichmüller Modulus Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
- Korselt's Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
- Gauss-Lucas Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
- Maximum Principle --Matt Westwood 21:08, 8 May 2009 (UTC)
- Knuth-Morris-Pratt Algorithm --Matt Westwood 21:08, 8 May 2009 (UTC)
- Bruck-Ryser-Chowla Theorem --Joe (talk) 16:06, 14 July 2009 (UTC)
- Girard's Theorem --Matt Westwood 13:15, 21 July 2009 (UTC)
- Hardy-Littlewood Tauberian Theorem --Matt Westwood 13:15, 21 July 2009 (UTC)
- Minkowski-Steiner Formula --Matt Westwood 13:15, 21 July 2009 (UTC)
- Cauchy-Kovalevskaya Theorem --Matt Westwood 13:15, 21 July 2009 (UTC)
- Gauss-Kronrod Quadrature Formula --Matt Westwood 13:15, 21 July 2009 (UTC)
- Hardy's Theorem --Matt Westwood 13:15, 21 July 2009 (UTC)
- Minkowski's Theorem (Geometry of Numbers) --Matt Westwood 13:15, 21 July 2009 (UTC)
- Carathéodory-Jacobi-Lie Theorem --Matt Westwood 13:15, 21 July 2009 (UTC)
- Whitney Graph Isomorphism Theorem --Matt Westwood 13:15, 21 July 2009 (UTC)
- Brahmagupta Interpolation Formula --Matt Westwood 13:15, 21 July 2009 (UTC)
- Church-Rosser Theorem --Matt Westwood 13:29, 21 July 2009 (UTC)
- Carmichael's Theorem --Matt Westwood 13:29, 21 July 2009 (UTC)
- Generalized Gauss-Bonnet Theorem --Matt Westwood 13:29, 21 July 2009 (UTC)
- Borel-Kolmogorov Paradox --Matt Westwood 13:29, 21 July 2009 (UTC)
- Separating Axis Theorem --Matt Westwood 13:29, 21 July 2009 (UTC)
- Cauchy-Frobenius Lemma --Matt Westwood 13:29, 21 July 2009 (UTC)
- Ostrowski-Hadamard Gap Theorem --Matt Westwood 13:29, 21 July 2009 (UTC)
- Mohr-Mascheroni Theorem --Matt Westwood 16:08, 21 July 2009 (UTC)
- Gauss's Digamma Theorem --Matt Westwood 16:08, 21 July 2009 (UTC)
- Lewis Carroll Identity --Matt Westwood 16:08, 21 July 2009 (UTC)
- Schwarz Reflection Principle --Matt Westwood 08:56, 30 January 2010 (UTC)
- Gelfand-Naimark Theorem --Matt Westwood 08:56, 30 January 2010 (UTC)
- Kolmogorov Continuity Theorem --Matt Westwood 08:56, 30 January 2010 (UTC)
- Birkhoff-Grothendieck Theorem --Matt Westwood 08:56, 30 January 2010 (UTC)
- Shirshov-Witt Theorem --Matt Westwood 08:56, 30 January 2010 (UTC)
- Roberts-Chebyshev Theorem --Matt Westwood 08:56, 30 January 2010 (UTC)
- Germain's Theorem --Matt Westwood 08:56, 30 January 2010 (UTC)
- Hilbert-Speiser Theorem --Matt Westwood 08:56, 30 January 2010 (UTC)
- Jordan Curve Theorem --Matt Westwood 08:56, 30 January 2010 (UTC)
- Heine's Identity --Matt Westwood 08:56, 30 January 2010 (UTC)
- Chen's Theorem --Matt Westwood 06:27, 2 February 2010 (UTC)
- Modularity Theorem --137.205.30.192 19:43, 27 April 2010 (UTC)
- Feit-Thompson Theorem --137.205.30.192 19:43, 27 April 2010 (UTC)
- Classification of Finite Simple Groups --137.205.30.192 19:43, 27 April 2010 (UTC)
- Fermat's Last Theorem --137.205.30.192 19:46, 27 April 2010 (UTC)
- Vizing's Theorem --94.40.193.22 19:46, 30 May 2010 (UTC)
- Pumping Lemma for Regular Languages --94.40.193.22 19:46, 30 May 2010 (UTC)
- Pumping Lemma for Context-Free Languages --94.40.193.22 19:46, 30 May 2010 (UTC)
- Osborne's Rule --84.217.52.50 15:06, 8 Nov 2010 (UTC)
- Benford's Law --Alec (talk) 19:30, 9 November 2010 (UTC)
- Ado's Theorem -- BigPansy 18:19, 8 June 2011 (CDT)
- Schottky's Theorem --prime mover 15:43, 9 July 2011 (CDT)
- Krull's Principal Ideal Theorem --prime mover 15:43, 9 July 2011 (CDT)
- Thom's Classification Theorem --prime mover 15:43, 9 July 2011 (CDT)
- Chebyshev's Sum Inequality --prime mover 15:43, 9 July 2011 (CDT)
- Taniyama-Shimura Conjecture --prime mover 15:43, 9 July 2011 (CDT)
- Kolmogorov's Zero-One Law --prime mover 15:43, 9 July 2011 (CDT)
- Hasse-Arf Theorem --prime mover 15:43, 9 July 2011 (CDT)
- Sophie Germain's Theorem --prime mover 15:43, 9 July 2011 (CDT)
- Dickson's Lemma --prime mover 15:43, 9 July 2011 (CDT)
- Pascal's Theorem --prime mover 15:43, 9 July 2011 (CDT)
- Hausdorff Moment Problem --prime mover 15:43, 9 July 2011 (CDT)
- Sylvester's Determinant Theorem --prime mover 15:43, 9 July 2011 (CDT)
- Routh-Hurwitz Stability Criterion --prime mover 15:43, 9 July 2011 (CDT)
- D'Alembert's Formula --prime mover 15:43, 9 July 2011 (CDT)
- Fekete-Szegő Inequality --prime mover 15:43, 9 July 2011 (CDT)
- McShane-Whitney Extension Theorem --prime mover 15:43, 9 July 2011 (CDT)
- Poincaré-Hopf Theorem --prime mover 15:43, 9 July 2011 (CDT)
- Cesàro's Theorem --prime mover 15:43, 9 July 2011 (CDT)
- Gauss-Bonnet Theorem --prime mover 15:43, 9 July 2011 (CDT)
- Steiner-Lehmus Theorem --prime mover 15:43, 9 July 2011 (CDT)
- Krull's Theorem --prime mover 15:43, 9 July 2011 (CDT)
- Lasker-Noether Theorem --prime mover 15:43, 9 July 2011 (CDT)
- Routh-Hurwitz Theorem --prime mover 15:43, 9 July 2011 (CDT)
- Schwarz-Pick Theorem --prime mover 01:59, 13 July 2011 (CDT)
- Dijkstra's Algorithm --prime mover 01:59, 13 July 2011 (CDT)
- Hasse Principle --prime mover 01:59, 13 July 2011 (CDT)
- Hodge Conjecture --prime mover 01:59, 13 July 2011 (CDT)
- Euler-Bernoulli Beam Equation --prime mover 01:59, 13 July 2011 (CDT)
- Sylvester-Gallai Theorem --prime mover 01:59, 13 July 2011 (CDT)
- Norm Theorem --prime mover 01:59, 13 July 2011 (CDT)
- Jacobi's Formula --prime mover 01:59, 13 July 2011 (CDT)
- Binet's Theorem --prime mover 01:59, 13 July 2011 (CDT)
- Gelfand-Mazur Theorem --prime mover 01:59, 13 July 2011 (CDT)
- Sobolev Inequality --prime mover 01:59, 13 July 2011 (CDT)
- Von Neumann Conjecture --prime mover 01:59, 13 July 2011 (CDT)
- Hilbert Inequality --prime mover 01:59, 13 July 2011 (CDT)
- Krull-Schmidt Theorem --prime mover 01:59, 13 July 2011 (CDT)
- Nagata-Smirnov Metrization Theorem --prime mover 01:59, 13 July 2011 (CDT)
- Cesàro Mean --prime mover 01:59, 13 July 2011 (CDT)
- Welch-Berlekamp Algorithm --prime mover 01:59, 13 July 2011 (CDT)
- Jordan-Chevalley Decomposition --prime mover 01:59, 13 July 2011 (CDT)
- Gauss-Codazzi Equations --prime mover 01:59, 13 July 2011 (CDT)
- Hasse Norm Theorem --prime mover 01:59, 13 July 2011 (CDT)
- Birch and Swinnerton-Dyer Conjecture --prime mover 01:59, 13 July 2011 (CDT)
- Ruffini's Rule --prime mover 01:59, 13 July 2011 (CDT)
- Von Neumann Bicommutant Theorem --prime mover 01:59, 13 July 2011 (CDT)
- Strong Law of Small Numbers --prime mover 01:59, 13 July 2011 (CDT)
- Littlewood-Offord Problem --prime mover 01:59, 13 July 2011 (CDT)
- Nagata-Biran Conjecture --prime mover 01:59, 13 July 2011 (CDT)
- Willmore Conjecture --prime mover 01:59, 13 July 2011 (CDT)
- Cesàro Equation --prime mover 01:59, 13 July 2011 (CDT)
- Berlekamp-Massey Algorithm --prime mover 01:59, 13 July 2011 (CDT)
- Erdős Conjecture on Arithmetic Progressions --prime mover 01:59, 13 July 2011 (CDT)
- Stadium Paradox --prime mover 01:59, 13 July 2011 (CDT)
- Mirsky's Theorem --prime mover 01:59, 13 July 2011 (CDT)
- Kruskal's Tree Theorem --prime mover 01:59, 13 July 2011 (CDT)
- Bertrand's Conjecture --prime mover 01:59, 13 July 2011 (CDT)
- Szegő Inequality --prime mover 01:59, 13 July 2011 (CDT)
- Dirichlet Stability Criterion --prime mover 01:59, 13 July 2011 (CDT)
- Abel Equation --prime mover 01:59, 13 July 2011 (CDT)
- Witt's Theorem --prime mover 01:59, 13 July 2011 (CDT)
- Tarski-Kuratowski Algorithm --prime mover 01:59, 13 July 2011 (CDT)
- Weber's Theorem --prime mover 01:59, 13 July 2011 (CDT)
- Equidistribution Theorem --prime mover 01:59, 13 July 2011 (CDT)
- Merton's Theorem --prime mover 01:59, 13 July 2011 (CDT)
- Markov's Rule --prime mover 01:59, 13 July 2011 (CDT)
- Riemann-Brill-Noether Theorem --prime mover 01:59, 13 July 2011 (CDT)
- Gauss's Principle of Least Constraint --prime mover 01:59, 13 July 2011 (CDT)
- Erdős-Ko-Rado Theorem --prime mover 02:03, 13 July 2011 (CDT)
- Erdős-Rado Theorem --prime mover 02:08, 13 July 2011 (CDT)
- Power of a Point Theorem [7] --prime mover 01:36, 25 July 2011 (CDT)
- Kolmogorov Extension Theorem --prime mover 02:37, 13 August 2011 (CDT)
- Vizing's Theorem --prime mover 02:37, 13 August 2011 (CDT)
- Zariski's Main Theorem --prime mover 02:37, 13 August 2011 (CDT)
- Hahn-Kolmogorov Theorem --prime mover 02:37, 13 August 2011 (CDT)
- Law of Large Numbers --prime mover 02:37, 13 August 2011 (CDT)
- Kuratowski's Free Set Theorem --prime mover 02:37, 13 August 2011 (CDT)
- Stone-von Neumann Theorem --prime mover 02:37, 13 August 2011 (CDT)
- Littlewood's Problem --prime mover 02:37, 13 August 2011 (CDT)
- Schreier Refinement Theorem --prime mover 02:37, 13 August 2011 (CDT)
- Jacobson Density Theorem --prime mover 02:37, 13 August 2011 (CDT)
- Kronecker's Theorem (Number Theory) --prime mover 02:37, 13 August 2011 (CDT)
- Nash-Moser Theorem --prime mover 02:37, 13 August 2011 (CDT)
- Kolmogorov-Arnold-Moser Theorem --prime mover 02:37, 13 August 2011 (CDT)
- Milnor-Thurston Kneading Theory --prime mover 02:37, 13 August 2011 (CDT)
- Sylvester's Matrix Theorem --prime mover 02:37, 13 August 2011 (CDT)
- Kolmogorov's Inequality --prime mover 02:37, 13 August 2011 (CDT)
- Sobolev Embedding Theorem --prime mover 02:37, 13 August 2011 (CDT)
- Bôcher's Equation --prime mover 02:37, 13 August 2011 (CDT)
- Bôcher's Theorem --prime mover 02:37, 13 August 2011 (CDT)
- Brunn-Minkowski Theorem --prime mover 02:37, 13 August 2011 (CDT)
- Banach-Mazur Theorem --prime mover 02:37, 13 August 2011 (CDT)
- Riesz-Thorin Theorem --prime mover 02:37, 13 August 2011 (CDT)
- Banach-Schauder Theorem --prime mover 02:37, 13 August 2011 (CDT)
- Karamata's Inequality --prime mover 02:37, 13 August 2011 (CDT)
- Schreier's Subgroup Lemma --prime mover 02:37, 13 August 2011 (CDT)
- Löwenheim-Skolem Theorem --prime mover 02:44, 14 August 2011 (CDT)
- Lagrange's Remainder Estimation Theorem [8] --Alec (talk) 18:37, 24 August 2011 (CDT)
- Archimedes' Hat-Box Theorem --Alec (talk) 12:08, 16 December 2011 (CST)
- Fubini's Theorem --GFauxPas 16:14, 20 April 2012 (EDT)
- Hilbert's Theorem 90 --Lord_Farin 17:45, 24 April 2012 (EDT)
- Hironaka's Theorem --Lord_Farin 18:20, 16 May 2012 (EDT)
- Snake Lemma WP --Lord_Farin 15:46, 11 June 2012 (EDT)
- Marden's Theorem (on inellipses) --Lord_Farin 13:21, 24 July 2012 (UTC)
- Mostowski Collapsing Lemma --Andrew Salmon 05:24, 25 July 2012 (UTC)
- Aleph Hypothesis Implies Axiom of Choice --Andrew Salmon 04:59, 27 July 2012 (UTC)
- Existence of Vector Space Bases implies Axiom of Choice--Dfeuer (talk) 03:43, 1 December 2012 (UTC)
- Whitehead's Theorem --Lord_Farin (talk) 09:16, 8 December 2012 (UTC)
- CW Approximation Theorem --Lord_Farin (talk) 09:16, 8 December 2012 (UTC)
- Cellular Approximation Theorem --Lord_Farin (talk) 09:16, 8 December 2012 (UTC)
- Homotopy Excision Theorem --Lord_Farin (talk) 09:16, 8 December 2012 (UTC)
- Freudenthal's Suspension Theorem --Lord_Farin (talk) 09:16, 8 December 2012 (UTC)
- Stone's Representation Theorem for Boolean Algebras --Dfeuer (talk) 04:43, 16 December 2012 (UTC)
- Gödel's Completeness Theorem --Dfeuer (talk) 04:51, 16 December 2012 (UTC)
- Kleene Fixed-Point Theorem --Dfeuer (talk) 20:42, 22 December 2012 (UTC)
- Definition:Structural Induction --Dfeuer (talk) 06:50, 24 December 2012 (UTC)
- Banach-Alaoglu Theorem --Lord_Farin (talk) 23:18, 24 December 2012 (UTC)
- Five Lemma --Lord_Farin (talk) 23:18, 24 December 2012 (UTC)
- Yoneda Lemma --Lord_Farin (talk) 23:18, 24 December 2012 (UTC)
- Giraud's Theorem --Lord_Farin (talk) 23:18, 24 December 2012 (UTC)
- Morley's Theorem --Lord_Farin (talk) 23:18, 24 December 2012 (UTC)
- Craig Interpolation Theorem --Lord_Farin (talk) 23:18, 24 December 2012 (UTC)
- Robinson's Consistency Theorem --Lord_Farin (talk) 23:18, 24 December 2012 (UTC)
- Grimm's Conjecture --prime mover (talk) 07:59, 25 December 2012 (UTC)
- Real Numbers Form Topological Field, Rational Numbers Form Topological Field (precursors in progress). Need to separate lemmas on continuity of operations. --Dfeuer (talk) 04:38, 30 January 2013 (UTC)
- Complex Numbers Form Topological Field --Dfeuer (talk) 04:38, 30 January 2013 (UTC)
- Class Existence Theorem, which proves that NBG theory is finitely axiomatizable. --Dfeuer (talk) 22:58, 21 March 2013 (UTC)
- WF is a Model of ZF in ZF without Foundation: that is, the class of all sets found in the von Neumann Hierarchy is a model of $\mathrm{ZF}$ in $\mathrm{ZF}^-$, which immediately proves that the axiom of foundation is relatively consistent with the rest of $\mathrm{ZF}$. --Dfeuer (talk) 00:59, 21 May 2013 (UTC)
- Riemann-Roch Theorem --prime mover (talk) 19:06, 7 June 2013 (UTC)
- Ternary Truth Functions, based on Unary Truth Functions and Binary Truth Functions --Kc kennylau (talk) 04:24, 7 July 2013 (UTC)