# Findings:

- Downwards Skolem-LÃ¶wenheim theorem
- Bayes' Theorem
- third isomorphism theorem
- proof of the fundamental theorem on symmetric polynomials
- Theorems whose names sound like Robert Ludlum novel titles
- Radon's theorem
- p-series theorem
- Earnshaw's Theorem
- monotone convergence theorem
- Love Spirals Downwards
- Fundamental theorem of calculus
- Fundamental theorem of algebra
- The Hilbert Basis Theorem
- Cantor-SchrÃ¶der-Bernstein Theorem
- GÃ¶del's Second Incompleteness Theorem explained in words of one syllable
- Morera's theorem
- proof of Brouwer's fixed point theorem
- Tychonoff Theorem
- Infinite monkeys theorem
- Green's Theorem
- Cayley-Hamilton Theorem
- Cook's theorem
- Gauss' Theorem
- Myhill-Nerode Theorem
- Fermat's Theorem
- spectral theorem
- Weierstrass approximation theorem
- Downwards
- Central Limit Theorem
- proof of the third isomorphism theorem
- Sylow's theorem
- de Moivre's Theorem
- Caratheodory's theorem
- Bloch's theorem
- Frobenius' theorem
- algebraic addition theorem
- Fundamental theorem of finite abelian groups
- Chinese remainder theorem
- The Joy of Money Theorem
- Arrow's Impossibility Theorem
- Pascal's theorem
- Los' theorem
- Stokes's Theorem
- Pythagorean Theorem
- Stokes' Theorem
- Wilson's theorem
- Wald's theorem
- Pick's theorem
- shoe-sock theorem
- Kutta-Joukowski lift theorem
- implicit function theorem
- The infinite monkeys investment theorem
- popularity of isomorphism theorems
- Banach-Tarski Theorem
- Sierpinski's Theorem
- proof of Radon's theorem
- Helmholtz vorticity theorems
- Brent's theorem
- Hahn-Banach theorem
- Game proof of the Baire Category Theorem
- classification theorem of finite simple groups
- Frobenius-Konig theorem
- Cauchy-Goursat Theorem
- Median voter theorem
- Ehrenfest's Theorem
- compactness theorem
- Plancherel's Theorem
- GÃ¶del's theorem applied to God
- Skolem-LÃ¶wenheim theorems
- Fermat's little theorem
- factor theorem
- Goodstein's theorem
- Fredholm alternative theorem
- Divergence Theorem
- Kronecker's Theorem
- Riemann's rearrangement theorem
- Baire category theorem
- rank nullity theorem
- proof of Sylow's theorem
- NSA: proof of Sierpinski's theorem
- Sklansky's Fundamental Theorem of Poker
- Fluctuation-dissipation theorem
- Taylor's theorem for complex functions
- Castigliano's 2nd Theorem
- Lagrange's Theorem
- Euler's theorem
- Bolzano-Weierstrass Theorem
- Rational Root Theorem
- Theorem of Menelaus
- no cloning theorem
- Minimax theorem
- Upwards Skolem-LÃ¶wenheim theorem
- Wedderburn's theorem about finite division rings
- Heine-Borel Theorem
- Gershgorin's theorem
- Riesz-Fisher Theorem
- Five neighbour theorem
- isomorphism extension theorem
- Re-expansion Theorem
- Rimrod's Fencing Autobiography : Four
- more unknowns theorem
- invertible matrix theorem
- The Pythagorean Theorem: A Vast Right Triangle Conspiracy?
- Jordan curve theorem
- Kelvin circulation theorem
- Kleene's theorem
- Pappus' Theorems
- GÃ¶del's incompleteness theorem
- Tesler's Theorem
- Buckingham Pi Theorem
- Hall's Marriage Theorem
- Theorem of Snapper
- Theorem of Ceva
- Schreier's Theorem
- Drunken Riemann shoved Gauss over fish and chips and said, Motherfucker, you solve that theorem, and I'll cut you with this blade!
- Sard's theorem
- Oliver's Woofing Theorem
- Proof of Wedderburn's theorem about finite division rings
- Fubini's theorem
- Mean value theorem
- Riesz-Fischer Theorem
- Six color theorem
- Midy's Theorem
- German Tank Theorem
- in a hallway that gently slopes downward...
- Myhill / Nerode Theorem
- Coase Theorem
- Picard-Lindeloef Theorem
- one-word Pythagorean Theorem proof
- ThÃ©venin's Theorem
- Orbit-stabilizer theorem
- Euclid's First Theorem
- Pappus-Guldinus Theorem
- Fermat's Last Theorem
- Using Bayes' theorem and the Neyman-Pearson Lemma to decide
- Borsuk-Ulam Theorem
- Rolle's theorem
- proof of Hall's Marriage Theorem
- Leonardo's theorem
- Desargues Theorem
- Holditch's Theorem
- Titchmarsh convolution theorem
- isomorphism theorems
- Abel's Impossibility Theorem
- parallel-axis theorem
- virial theorem
- monotone sequence theorem (infinite version) proof
- Bolyai Gerwein theorem
- Kuratowski closure theorem
- fundamental theorem of Galois theory
- Downward is Heavenward
- Four color theorem
- Intermediate Value Theorem
- Binomial Theorem
- proof of Caratheodory's theorem on convexity
- Rice's Theorem
- "standard" proof of Sierpinski's Theorem
- Cantor's Intersection Theorem
- GÃ¶del's theorem
- Myhill Theorem proof that the "a^n b^n" language is not regular
- Hairy ball theorem
- Well Ordering Theorem
- Parseval's Theorem
- A+B theorem
- Bolzano Theorem
- Babinet's Theorem
- Godel's completeness theorem
- Proth's Theorem
- first isomorphism theorem
- Galois's Theorem
- Gram-Schmidt Theorem
- Extreme Value Theorem
- monotone sequence theorem (finite version) proof
- Gelfond's Theorem
- Analytic proof of the Baire category theorem
- Infinite-Monkey Theorem (node_forward)
- Downward to the Earth
- Myhill Theorem proof that the balanced braces language is not regular
- Church-Rosser theorem
- Proof of the Intermediate Value Theorem
- Napoleon's theorem
- Sandwich Theorem
- Division theorem
- Sturm's theorem

If you Log in you could create a "Downwards Skolem-Löwenheim theorem" node. If you don't already have an account, you can register here.