1 
Pythagorean theorem 
8,719 

2 
Bayes' theorem 
3,580 

3 
Euler's formula 
3,559 

4 
Fermat's Last Theorem 
3,327 

5 
Binomial theorem 
3,232 

6 
Central limit theorem 
2,696 

7 
L'Hôpital's rule 
2,179 

8 
Gödel's incompleteness theorems 
1,949 

9 
Nyquist–Shannon sampling theorem 
1,772 

10 
Fundamental theorem of calculus 
1,629 

11 
Poincaré conjecture 
1,586 

12 
Infinite monkey theorem 
1,424 

13 
Cramer's rule 
1,410 

14 
Divergence theorem 
1,153 

15 
Compact space 
1,108 

16 
Taylor's theorem 
1,094 

17 
Mean value theorem 
1,030 

18 
Heron's formula 
1,028 

19 
Four color theorem 
1,026 

20 
Intermediate value theorem 
985 

21 
Stokes' theorem 
929 

22 
Squeeze theorem 
897 

23 
Banach–Tarski paradox 
852 

24 
Pigeonhole principle 
833 

25 
Green's theorem 
825 

26 
Chinese remainder theorem 
774 

27 
De Moivre's formula 
731 

28 
Implicit and explicit functions 
726 

29 
Prime number theorem 
702 

30 
Fundamental theorem of algebra 
697 

31 
Cantor's diagonal argument 
691 

32 
Fundamental theorem of arithmetic 
661 

33 
Copula (statistics) 
656 

34 
Fermat's little theorem 
567 

35 
Master theorem 
527 

36 
Euler's theorem 
489 

37 
Shannon–Hartley theorem 
462 

38 
Spectral theorem 
455 

39 
Solution of the Poincaré conjecture 
450 

40 
Bolzano–Weierstrass theorem 
406 

41 
Rolle's theorem 
404 

42 
Residue theorem 
394 

43 
Parseval's theorem 
381 

44 
Cauchy's integral formula 
380 

45 
Convolution theorem 
378 

46 
Implicit function theorem 
375 

47 
Lagrange's theorem (group theory) 
373 

48 
Division algorithm 
363 

49 
Wiles' proof of Fermat's Last Theorem 
361 

50 
Monotone convergence theorem 
354 

51 
Thales' theorem 
337 

52 
Cayley–Hamilton theorem 
331 

53 
Dominated convergence theorem 
328 

54 
Gödel's completeness theorem 
319 

55 
Fubini's theorem 
315 

56 
Hairy ball theorem 
305 

57 
Rational root theorem 
298 

58 
Maxflow mincut theorem 
290 

59 
Cauchy's integral theorem 
287 

60 
Modularity theorem 
283 

61 
Brouwer fixed point theorem 
263 

62 
Löwenheim–Skolem theorem 
262 

63 
No free lunch in search and optimization 
252 

64 
Classification of finite simple groups 
251 

65 
Extreme value theorem 
250 

66 
Cantor's theorem 
249 

67 
Riesz representation theorem 
248 

68 
Quadratic reciprocity 
247 

69 
Multinomial theorem 
244 

70 
Polynomial remainder theorem 
243 

71 
Envelope theorem 
242 

72 
Derivative rule for inverses 
230 

73 
Ramsey's theorem 
229 

74 
Angle bisector theorem 
225 

75 
Poincaré recurrence theorem 
222 

76 
Heine–Borel theorem 
217 

77 
Pick's theorem 
216 

78 
Descartes' rule of signs 
214 

79 
Liouville's theorem (Hamiltonian) 
212 

80 
Perron–Frobenius theorem 
212 

81 
Lagrange's foursquare theorem 
208 

82 
Stone–Weierstrass theorem 
201 

83 
Nash embedding theorem 
201 

84 
Fixed point theorem 
192 

85 
Fundamental lemma (Langlands program) 
192 

86 
Picard–Lindelöf theorem 
188 

87 
Green–Tao theorem 
188 

88 
Euclid's theorem 
186 

89 
Banach fixed point theorem 
181 

90 
Wilson's theorem 
181 

91 
Noisychannel coding theorem 
181 

92 
Final value theorem 
180 

93 
Sylow theorems 
178 

94 
Isomorphism theorem 
175 

95 
Ptolemy's theorem 
174 

96 
Characterizations of the exponential function 
173 

97 
Gauss–Bonnet theorem 
167 

98 
Euler's rotation theorem 
165 

99 
Factor theorem 
164 

100 
Herbrand's theorem 
163 

101 
Radon–Nikodym theorem 
162 

102 
Hahn–Banach theorem 
161 

103 
Fermat's theorem on sums of two squares 
159 

104 
Helmholtz decomposition 
155 

105 
Gradient theorem 
155 

106 
Atiyah–Singer index theorem 
154 

107 
Jordan curve theorem 
152 

108 
Coupon collector's problem 
151 

109 
Arzelà–Ascoli theorem 
146 

110 
Ham sandwich theorem 
144 

111 
Goodstein's theorem 
139 

112 
Abel–Ruffini theorem 
139 

113 
Separating axis theorem 
138 

114 
Girsanov theorem 
137 

115 
Sylvester–Gallai theorem 
136 

116 
Cantor–Bernstein–Schroeder theorem 
132 

117 
Intercept theorem 
130 

118 
Tychonoff's theorem 
128 

119 
Baire category theorem 
127 

120 
Kruskal's tree theorem 
127 

121 
Clairaut's theorem 
126 

122 
Myhill–Nerode theorem 
124 

123 
Fourier inversion theorem 
123 

124 
Floquet theory 
123 

125 
Linear congruence theorem 
122 

126 
Gibbard–Satterthwaite theorem 
120 

127 
Fundamental theorem 
119 

128 
Herbrand–Ribet theorem 
119 

129 
Spherical law of cosines 
118 

130 
Bertrand's postulate 
116 

131 
Pontryagin duality 
115 

132 
Complex conjugate root theorem 
114 

133 
Exterior angle theorem 
114 

134 
Fundamental theorem of linear algebra 
113 

135 
Wiener–Khinchin theorem 
112 

136 
Hall's theorem 
110 

137 
Ceva's theorem 
108 

138 
Compactness theorem 
107 

139 
Baire space 
104 

140 
Pappus's centroid theorem 
103 

141 
Rice's theorem 
102 

142 
Pascal's theorem 
102 

143 
Metrization theorem 
100 

144 
Lindemann–Weierstrass theorem 
97 

145 
Shannon's source coding theorem 
97 

146 
Cayley's theorem 
96 

147 
Brahmagupta's formula 
96 

148 
Fermat's theorem (stationary points) 
95 

149 
Kirchhoff's theorem 
94 

150 
Spectral graph theory 
93 

151 
Sturm's theorem 
93 

152 
Soul theorem 
91 

153 
Kakutani fixed point theorem 
90 

154 
König's theorem (graph theory) 
90 

155 
Varignon's theorem 
90 

156 
Wellordering theorem 
89 

157 
Weil conjectures 
89 

158 
Kolmogorov–Arnold–Moser theorem 
88 

159 
Dirichlet's theorem on arithmetic progressions 
88 

160 
Fermat's Last Theorem in fiction 
88 

161 
Abel's theorem 
87 

162 
Liouville's theorem (complex analysis) 
87 

163 
Plancherel theorem 
87 

164 
Descartes' theorem 
87 

165 
Projectionslice theorem 
87 

166 
Initial value theorem 
87 

167 
Cauchy's theorem (group theory) 
85 

168 
Optional stopping theorem 
85 

169 
Napkin folding problem 
85 

170 
Dilworth's theorem 
84 

171 
Riemann–Roch theorem 
83 

172 
Proof that the sum of the reciprocals of the primes diverges 
82 

173 
Cook–Levin theorem 
82 

174 
Apollonius' theorem 
82 

175 
Five color theorem 
81 

176 
Akra–Bazzi method 
80 

177 
Menelaus' theorem 
80 

178 
Pólya enumeration theorem 
80 

179 
Szemerédi's theorem 
79 

180 
Bézout's theorem 
78 

181 
Riemann series theorem 
78 

182 
Borsuk–Ulam theorem 
76 

183 
Gershgorin circle theorem 
76 

184 
Inscribed angle theorem 
76 

185 
No free lunch theorem 
74 

186 
Bloch's theorem 
74 

187 
Desargues' theorem 
73 

188 
Uniform boundedness principle 
72 

189 
Mercer's theorem 
71 

190 
Deduction theorem 
71 

191 
Structured program theorem 
71 

192 
Catalan's conjecture 
70 

193 
Egorov's theorem 
69 

194 
Lagrange's theorem 
69 

195 
Whitney embedding theorem 
68 

196 
Stone's representation theorem for Boolean algebras 
68 

197 
Weierstrass factorization theorem 
68 

198 
Carathéodory's extension theorem 
68 

199 
Circle packing theorem 
68 

200 
Lagrange inversion theorem 
67 

201 
Lefschetz fixedpoint theorem 
67 

202 
Paley–Wiener theorem 
67 

203 
Stone–von Neumann theorem 
67 

204 
Picard theorem 
66 

205 
Poincaré–Bendixson theorem 
66 

206 
Lusin's theorem 
65 

207 
Zeckendorf's theorem 
64 

208 
Rouché's theorem 
63 

209 
Van der Waerden's theorem 
62 

210 
Morera's theorem 
61 

211 
Open mapping theorem (functional analysis) 
61 

212 
Bieberbach conjecture 
60 

213 
Analyticity of holomorphic functions 
60 

214 
Gelfond–Schneider theorem 
59 

215 
Menger's theorem 
59 

216 
Pappus's hexagon theorem 
59 

217 
Binomial inverse theorem 
59 

218 
Kleene's recursion theorem 
58 

219 
Artin–Wedderburn theorem 
58 

220 
CPCTC 
58 

221 
Erdős–Szekeres theorem 
58 

222 
Star of David theorem 
58 

223 
Nested intervals 
58 

224 
Closed graph theorem 
57 

225 
Carathéodory's theorem (convex hull) 
57 

226 
Road coloring problem 
57 

227 
Hilbert's basis theorem 
56 

228 
Minmax theorem 
56 

229 
Fundamental theorem on homomorphisms 
54 

230 
Minkowski's theorem 
54 

231 
Crystallographic restriction theorem 
54 

232 
Martingale representation theorem 
54 

233 
Peter–Weyl theorem 
51 

234 
Ribet's theorem 
51 

235 
Heine–Cantor theorem 
51 

236 
Feit–Thompson theorem 
51 

237 
PCP theorem 
51 

238 
Kolmogorov extension theorem 
50 

239 
Lagrange's theorem (number theory) 
50 

240 
Furstenberg's proof of the infinitude of primes 
50 

241 
Seifert–van Kampen theorem 
49 

242 
Sylvester's law of inertia 
49 

243 
Doob–Meyer decomposition theorem 
49 

244 
Boolean prime ideal theorem 
48 

245 
Hilbert projection theorem 
48 

246 
Frobenius theorem 
48 

247 
Cauchy–Kowalevski theorem 
47 

248 
Stewart's theorem 
47 

249 
Choquet theory 
47 

250 
Uniformization theorem 
46 

251 
Routh–Hurwitz theorem 
46 

252 
Sylvester's determinant theorem 
46 

253 
Peano existence theorem 
46 

254 
Darboux's theorem (analysis) 
46 

255 
Principal axis theorem 
46 

256 
Von Neumann paradox 
46 

257 
Existence theorem 
45 

258 
Helly's theorem 
45 

259 
Fundamental theorem of Galois theory 
45 

260 
Abelian and tauberian theorems 
44 

261 
Hinge theorem 
44 

262 
Hartman–Grobman theorem 
44 

263 
Tietze extension theorem 
43 

264 
Frobenius theorem (differential topology) 
43 

265 
Morley's trisector theorem 
43 

266 
Theorem on friends and strangers 
43 

267 
Hirzebruch–Riemann–Roch theorem 
43 

268 
15 and 290 theorems 
43 

269 
Codd's theorem 
43 

270 
Frobenius theorem (real division algebras) 
43 

271 
Kronecker's theorem 
42 

272 
Darboux's theorem 
42 

273 
Lebesgue differentiation theorem 
42 

274 
Rademacher's theorem 
42 

275 
Proof of Fermat's Last Theorem for specific exponents 
42 

276 
Carnot's theorem 
41 

277 
Bott periodicity theorem 
41 

278 
Krein–Milman theorem 
41 

279 
Comparison theorem 
41 

280 
Lebesgue's density theorem 
41 

281 
Monotone class theorem 
41 

282 
Faltings' theorem 
40 

283 
Grothendieck–Hirzebruch–Riemann–Roch theorem 
40 

284 
Riesz–Fischer theorem 
40 

285 
Doob's martingale convergence theorems 
40 

286 
Jackson's theorem (queueing theory) 
40 

287 
Identity theorem 
40 

288 
Helmholtz theorem 
40 

289 
Künneth theorem 
39 

290 
Poincaré–Hopf theorem 
39 

291 
Kolmogorov continuity theorem 
39 

292 
Gleason's theorem 
39 

293 
Lucas' theorem 
39 

294 
Structure theorem for finitely generated modules over a principal ideal domain 
39 

295 
Robertson–Seymour theorem 
38 

296 
Dirichlet's unit theorem 
38 

297 
Sard's theorem 
38 

298 
Khintchine inequality 
38 

299 
Time hierarchy theorem 
37 

300 
Chebotarev's density theorem 
37 

301 
Dirichlet's theorem 
37 

302 
Maschke's theorem 
37 

303 
BEST theorem 
37 

304 
Frucht's theorem 
37 

305 
Multiplication theorem 
37 

306 
Soddy's hexlet 
37 

307 
Knaster–Tarski theorem 
36 

308 
Fundamental theorem of Riemannian geometry 
36 

309 
Hilbert's irreducibility theorem 
36 

310 
Equal incircles theorem 
36 

311 
Golod–Shafarevich theorem 
36 

312 
Universal approximation theorem 
36 

313 
Chen's theorem 
35 

314 
Bernstein's theorem 
35 

315 
Besicovitch covering theorem 
35 

316 
Carathéodory's existence theorem 
35 

317 
Planar separator theorem 
35 

318 
Polynomial function theorems for zeros 
35 

319 
Bertrand's ballot theorem 
34 

320 
Brahmagupta theorem 
34 

321 
Burnside theorem 
34 

322 
Stolz–Cesàro theorem 
34 

323 
Cameron–Martin theorem 
34 

324 
Cantor's intersection theorem 
34 

325 
Disintegration theorem 
34 

326 
Viviani's theorem 
34 

327 
Star height problem 
33 

328 
Schauder fixed point theorem 
33 

329 
Bourbaki–Witt theorem 
33 

330 
Ultraparallel theorem 
33 

331 
Hardy's theorem 
33 

332 
Japanese theorem for cyclic polygons 
33 

333 
Cramér's theorem 
33 

334 
Marden's theorem 
33 

335 
Nachbin's theorem 
33 

336 
Paris–Harrington theorem 
33 

337 
Vitali convergence theorem 
33 

338 
Cubic reciprocity 
33 

339 
Fundamental theorem of cyclic groups 
33 

340 
Gelfand–Naimark theorem 
32 

341 
Generalized Gauss–Bonnet theorem 
32 

342 
Hausdorff paradox 
32 

343 
Dini's theorem 
32 

344 
Holland's schema theorem 
32 

345 
Landau prime ideal theorem 
32 

346 
Erdős–Kac theorem 
32 

347 
Koebe quarter theorem 
32 

348 
Mordell–Weil theorem 
32 

349 
Invariance of domain 
31 

350 
Mitchell's embedding theorem 
31 

351 
Lasker–Noether theorem 
31 

352 
Brunn–Minkowski theorem 
31 

353 
Ostrowski's theorem 
31 

354 
Smith conjecture 
31 

355 
Sharkovskii's theorem 
30 

356 
Takens' theorem 
30 

357 
Kronecker–Weber theorem 
30 

358 
Hasse–Minkowski theorem 
30 

359 
Kodaira vanishing theorem 
30 

360 
Bounded inverse theorem 
30 

361 
Sokhatsky–Weierstrass theorem 
30 

362 
Fejér's theorem 
30 

363 
Pentagonal number theorem 
29 

364 
Stone duality 
29 

365 
Savitch's theorem 
29 

366 
Borel–Weil–Bott theorem 
29 

367 
Stone's theorem on oneparameter unitary groups 
29 

368 
Riesz–Thorin theorem 
29 

369 
Schur's theorem 
29 

370 
Cauchy's theorem (geometry) 
29 

371 
Increment theorem 
29 

372 
Japanese theorem for cyclic quadrilaterals 
29 

373 
Barbier's theorem 
28 

374 
Poncelet–Steiner theorem 
28 

375 
Marcinkiewicz interpolation theorem 
28 

376 
Fundamental theorem of curves 
28 

377 
Excision theorem 
28 

378 
Radon's theorem 
28 

379 
Tutte theorem 
28 

380 
Godunov's theorem 
28 

381 
Kantorovich theorem 
28 

382 
Hurwitz's theorem 
28 

383 
Classification theorem 
28 

384 
Riesz theorem 
28 

385 
Fermat polygonal number theorem 
27 

386 
Hurwitz's automorphisms theorem 
27 

387 
Hadamard threecircle theorem 
27 

388 
Vector fields on spheres 
27 

389 
Cauchy–Hadamard theorem 
27 

390 
Choi's theorem on completely positive maps 
27 

391 
Euler's theorem in geometry 
27 

392 
Regularity theorem for Lebesgue measure 
27 

393 
Differentiation of integrals 
27 

394 
Kemnitz's conjecture 
27 

395 
Weierstrass preparation theorem 
26 

396 
Fixed point theorems in infinitedimensional spaces 
26 

397 
Addition theorem 
26 

398 
Montel's theorem 
26 

399 
Chomsky–Schützenberger theorem 
26 

400 
2π theorem 
26 

401 
AF+BG theorem 
26 

402 
Inverse eigenvalues theorem 
26 

403 
Malgrange preparation theorem 
26 

404 
Prokhorov's theorem 
26 

405 
Church–Rosser theorem 
25 

406 
May's theorem 
25 

407 
Cutelimination theorem 
25 

408 
Equidistribution theorem 
25 

409 
Arrival theorem 
25 

410 
Carlson's theorem 
25 

411 
Fáry's theorem 
25 

412 
Hurwitz's theorem (complex analysis) 
25 

413 
Pizza theorem 
25 

414 
Primitive element theorem 
24 

415 
Jacobson density theorem 
24 

416 
Hurewicz theorem 
24 

417 
Wolstenholme's theorem 
24 

418 
Lattice theorem 
24 

419 
Heawood conjecture 
24 

420 
Carathéodory's theorem (conformal mapping) 
24 

421 
Brun's theorem 
24 

422 
Runge's theorem 
24 

423 
Froda's theorem 
24 

424 
Mergelyan's theorem 
24 

425 
Liénard equation 
24 

426 
Omegacategorical theory 
24 

427 
Poincaré–Birkhoff–Witt theorem 
23 

428 
Donaldson's theorem 
23 

429 
MittagLeffler's theorem 
23 

430 
Dirichlet's approximation theorem 
23 

431 
Mostow rigidity theorem 
23 

432 
Vanishing theorem 
23 

433 
Babuška–Lax–Milgram theorem 
23 

434 
Hurwitz's theorem (normed division algebras) 
23 

435 
MacMahon Master theorem 
23 

436 
Five points determine a conic 
23 

437 
Dinitz conjecture 
22 

438 
Universal coefficient theorem 
22 

439 
Brianchon's theorem 
22 

440 
Fary–Milnor theorem 
22 

441 
Behnke–Stein theorem 
22 

442 
Euler's theorem (differential geometry) 
22 

443 
Jung's theorem 
22 

444 
Midy's theorem 
22 

445 
Schönflies problem 
22 

446 
Quillen–Suslin theorem 
21 

447 
Cartan's theorem 
21 

448 
Bohr–Mollerup theorem 
21 

449 
Cayley–Bacharach theorem 
21 

450 
De Franchis theorem 
21 

451 
Fatou–Lebesgue theorem 
21 

452 
Gauss–Lucas theorem 
21 

453 
Ax–Grothendieck theorem 
21 

454 
Borel determinacy theorem 
21 

455 
Cheng's eigenvalue comparison theorem 
21 

456 
Dirac's theorem 
21 

457 
Lester's theorem 
21 

458 
M. Riesz extension theorem 
21 

459 
Rokhlin's theorem 
21 

460 
Shift theorem 
21 

461 
Bombieri–Vinogradov theorem 
21 

462 
Gromov's compactness theorem (geometry) 
21 

463 
Cameron–Erdős conjecture 
21 

464 
Quartic reciprocity 
21 

465 
Brooks' theorem 
21 

466 
Baker's theorem 
21 

467 
Original proof of Gödel's completeness theorem 
20 

468 
Bolyai–Gerwien theorem 
20 

469 
Turán's theorem 
20 

470 
Kirszbraun theorem 
20 

471 
Hilbert's syzygy theorem 
20 

472 
Oseledets theorem 
20 

473 
Marcinkiewicz–Zygmund inequality 
20 

474 
Birkhoff–Grothendieck theorem 
20 

475 
Hardy–Littlewood tauberian theorem 
20 

476 
Kōmura's theorem 
20 

477 
Liouville's theorem (conformal mappings) 
20 

478 
Rouché–Capelli theorem 
20 

479 
Schaefer's dichotomy theorem 
20 

480 
Chasles' theorem 
20 

481 
Fiber bundle construction theorem 
20 

482 
Hadamard's lemma 
20 

483 
Casorati–Weierstrass theorem 
19 

484 
Hadwiger's theorem 
19 

485 
Space hierarchy theorem 
19 

486 
Hopf–Rinow theorem 
19 

487 
Löb's theorem 
19 

488 
Kruskal–Katona theorem 
19 

489 
Borel–Carathéodory theorem 
19 

490 
Nash–Moser theorem 
19 

491 
Hahn decomposition theorem 
19 

492 
Carathéodory–Jacobi–Lie theorem 
19 

493 
Caristi fixed point theorem 
19 

494 
Commutation theorem 
19 

495 
Lebesgue's decomposition theorem 
19 

496 
Lindström's theorem 
19 

497 
Looman–Menchoff theorem 
19 

498 
Monge's theorem 
19 

499 
Preimage theorem 
19 

500 
Proth's theorem 
19 

501 
Wiener's tauberian theorem 
19 

502 
Goldbach–Euler theorem 
19 

503 
Acyclic model 
19 

504 
König's theorem (set theory) 
18 

505 
Hasse's theorem on elliptic curves 
18 

506 
Borel–Weil theorem 
18 

507 
Mellin inversion theorem 
18 

508 
Edgeofthewedge theorem 
18 

509 
Nielsen–Thurston classification 
18 

510 
Kuiper's theorem 
18 

511 
Corona theorem 
18 

512 
Spectrum of a theory 
18 

513 
Bloch's theorem (complex variables) 
18 

514 
Hardy–Ramanujan theorem 
18 

515 
Kaplansky density theorem 
18 

516 
Monodromy theorem 
18 

517 
Ramanujam vanishing theorem 
18 

518 
Richardson's theorem 
18 

519 
Routh's theorem 
18 

520 
Sion's minimax theorem 
18 

521 
Sturm–Picone comparison theorem 
18 

522 
Subspace theorem 
18 

523 
Witt's theorem 
18 

524 
Zsigmondy's theorem 
18 

525 
Erdős–Graham problem 
18 

526 
Mountain climbing problem 
18 

527 
Discrete Green's theorem 
18 

528 
Hille–Yosida theorem 
17 

529 
Blum's speedup theorem 
17 

530 
Serre conjecture (number theory) 
17 

531 
Abouabdillah's theorem 
17 

532 
Schwarz reflection principle 
17 

533 
Banach–Mazur theorem 
17 

534 
Casey's theorem 
17 

535 
De Gua's theorem 
17 

536 
Easton's theorem 
17 

537 
Jacobi's foursquare theorem 
17 

538 
Kolmogorov's threeseries theorem 
17 

539 
Reflection theorem 
17 

540 
Schur–Zassenhaus theorem 
17 

541 
Tijdeman's theorem 
17 

542 
Vinogradov's theorem 
17 

543 
Wedderburn's little theorem 
17 

544 
Abhyankar's conjecture 
17 

545 
Crofton formula 
17 

546 
Full employment theorem 
17 

547 
Beatty sequence 
17 

548 
Hilbert–Schmidt theorem 
17 

549 
Kakutani's theorem (geometry) 
17 

550 
Linnik's theorem 
16 

551 
Simplicial approximation theorem 
16 

552 
Haboush's theorem 
16 

553 
Hales–Jewett theorem 
16 

554 
Thue–Siegel–Roth theorem 
16 

555 
Lagrange reversion theorem 
16 

556 
Mertens' theorems 
16 

557 
Lie–Kolchin theorem 
16 

558 
Morley's categoricity theorem 
16 

559 
Lickorish–Wallace theorem 
16 

560 
Napoleon's theorem 
16 

561 
Torelli theorem 
16 

562 
Rauch comparison theorem 
16 

563 
Grauert–Riemenschneider vanishing theorem 
16 

564 
Hartogs' extension theorem 
16 

565 
Malgrange–Ehrenpreis theorem 
16 

566 
Milliken's tree theorem 
16 

567 
Steiner–Lehmus theorem 
16 

568 
Holditch's theorem 
16 

569 
Stanley–Wilf conjecture 
16 

570 
Sphere theorem (3manifolds) 
16 

571 
Representation theorem 
16 

572 
There is no infinitedimensional Lebesgue measure 
16 

573 
Rice–Shapiro theorem 
16 

574 
Zermelo's theorem (game theory) 
16 

575 
Erdős–Ko–Rado theorem 
15 

576 
Hellinger–Toeplitz theorem 
15 

577 
Post's theorem 
15 

578 
Mohr–Mascheroni theorem 
15 

579 
Kleene fixedpoint theorem 
15 

580 
Apéry's theorem 
15 

581 
Max Noether's theorem 
15 

582 
Chevalley–Warning theorem 
15 

583 
Fenchel's duality theorem 
15 

584 
Poisson limit theorem 
15 

585 
Analytic Fredholm theorem 
15 

586 
Birkhoff's representation theorem 
15 

587 
Bondy's theorem 
15 

588 
Borel fixedpoint theorem 
15 

589 
Cartan–Hadamard theorem 
15 

590 
Hjelmslev's theorem 
15 

591 
Lefschetz hyperplane theorem 
15 

592 
Lindelöf's theorem 
15 

593 
Open mapping theorem (complex analysis) 
15 

594 
Schwartz kernel theorem 
15 

595 
Titchmarsh convolution theorem 
15 

596 
Størmer's theorem 
15 

597 
James' theorem 
15 

598 
Six circles theorem 
15 

599 
Krull's principal ideal theorem 
14 

600 
Vitali theorem 
14 

601 
Butterfly theorem 
14 

602 
Trudinger's theorem 
14 

603 
Valiant–Vazirani theorem 
14 

604 
British flag theorem 
14 

605 
Cartan–Dieudonné theorem 
14 

606 
Closed range theorem 
14 

607 
Cohn's irreducibility criterion 
14 

608 
Fourvertex theorem 
14 

609 
Intersection theorem 
14 

610 
Kawasaki's theorem 
14 

611 
No wandering domain theorem 
14 

612 
Plancherel theorem for spherical functions 
14 

613 
Duggan–Schwartz theorem 
14 

614 
Dynkin's formula 
14 

615 
Siegel disc 
14 

616 
Szemerédi–Trotter theorem 
13 

617 
Engel theorem 
13 

618 
Ore's theorem 
13 

619 
Sphere theorem 
13 

620 
Wilkie's theorem 
13 

621 
Barwise compactness theorem 
13 

622 
Atiyah–Bott fixedpoint theorem 
13 

623 
Ax–Kochen theorem 
13 

624 
Glivenko's theorem 
13 

625 
Hilbert's theorem (differential geometry) 
13 

626 
Mountain pass theorem 
13 

627 
Saccheri–Legendre theorem 
13 

628 
Whitney extension theorem 
13 

629 
Zahorski theorem 
13 

630 
Gordon–Luecke theorem 
13 

631 
Markov spectrum 
13 

632 
Mahler's theorem 
12 

633 
Skolem–Noether theorem 
12 

634 
Stanley's reciprocity theorem 
12 

635 
Hilbert's Theorem 90 
12 

636 
Silverman–Toeplitz theorem 
12 

637 
Beck's theorem (geometry) 
12 

638 
Immerman–Szelepcsényi theorem 
12 

639 
Hahn–Kolmogorov theorem 
12 

640 
Hartogs' theorem 
12 

641 
Weil conjecture on Tamagawa numbers 
12 

642 
Belyi's theorem 
12 

643 
F. and M. Riesz theorem 
12 

644 
Abhyankar–Moh theorem 
12 

645 
Balian–Low theorem 
12 

646 
Brun–Titchmarsh theorem 
12 

647 
Busemann's theorem 
12 

648 
Craig's theorem 
12 

649 
Erdős–Pósa theorem 
12 

650 
Isomorphism extension theorem 
12 

651 
Peixoto's theorem 
12 

652 
Robinson's joint consistency theorem 
12 

653 
Stinespring factorization theorem 
12 

654 
Toda's theorem 
12 

655 
Zariski's main theorem 
12 

656 
Frege's theorem 
12 

657 
Carleman's condition 
12 

658 
Subgroup test 
12 

659 
Contraction principle (large deviations theory) 
12 

660 
Krull–Schmidt theorem 
12 

661 
Minkowski problem 
12 

662 
Stark–Heegner theorem 
11 

663 
Gromov's theorem on groups of polynomial growth 
11 

664 
Hodge index theorem 
11 

665 
Harnack's principle 
11 

666 
Freudenthal suspension theorem 
11 

667 
Meyer's theorem 
11 

668 
Brauer's theorem on induced characters 
11 

669 
Gordon–Newell theorem 
11 

670 
Laplace principle (large deviations theory) 
11 

671 
Ado's theorem 
11 

672 
Artin–Zorn theorem 
11 

673 
Banach–Stone theorem 
11 

674 
Bing metrization theorem 
11 

675 
Focal subgroup theorem 
11 

676 
Gelfand–Mazur theorem 
11 

677 
Grunwald–Wang theorem 
11 

678 
Lee Hwa Chung theorem 
11 

679 
Pitot theorem 
11 

680 
Stein–Strömberg theorem 
11 

681 
Michael selection theorem 
11 

682 
Lions–Lax–Milgram theorem 
11 

683 
Von Neumann bicommutant theorem 
10 

684 
Beck's theorem 
10 

685 
Whitney immersion theorem 
10 

686 
Thue equation 
10 

687 
Toy theorem 
10 

688 
Fredholm's theorem 
10 

689 
Freiman's theorem 
10 

690 
Kodaira embedding theorem 
10 

691 
Danskin's theorem 
10 

692 
Anderson's theorem 
10 

693 
Brauer's theorem 
10 

694 
Fatou's theorem 
10 

695 
Grothendieck's connectedness theorem 
10 

696 
Kaplansky's theorem on quadratic forms 
10 

697 
Ratner's theorems 
10 

698 
Tsen's theorem 
10 

699 
Milman–Pettis theorem 
10 

700 
Prékopa–Leindler inequality 
10 

701 
Tutte–Berge formula 
10 

702 
Whitehead theorem 
9 

703 
Vitali–Hahn–Saks theorem 
9 

704 
Fenchel's theorem 
9 

705 
Dudley's theorem 
9 

706 
Sazonov's theorem 
9 

707 
Schilder's theorem 
9 

708 
Lochs' theorem 
9 

709 
Bertrand–Diquet–Puiseux theorem 
9 

710 
Brauer–Siegel theorem 
9 

711 
Chevalley–Shephard–Todd theorem 
9 

712 
Eilenberg–Zilber theorem 
9 

713 
Goldie's theorem 
9 

714 
Helly's selection theorem 
9 

715 
Kachurovskii's theorem 
9 

716 
Krener's theorem 
9 

717 
Kurosh subgroup theorem 
9 

718 
Maier's theorem 
9 

719 
Sophie Germain's theorem 
9 

720 
Stallings–Zeeman theorem 
9 

721 
Toponogov's theorem 
9 

722 
ZJ theorem 
9 

723 
Gromov's compactness theorem (topology) 
9 

724 
Hajós's theorem 
9 

725 
Campbell's theorem 
9 

726 
Theorem of Bertini 
9 

727 
Pompeiu derivative 
9 

728 
Serre–Swan theorem 
8 

729 
Ehresmann's theorem 
8 

730 
Pasch's theorem 
8 

731 
Beck's monadicity theorem 
8 

732 
Proizvolov's identity 
8 

733 
Weyl–Schouten theorem 
8 

734 
ATS theorem 
8 

735 
Area theorem (conformal mapping) 
8 

736 
Atkinson's theorem 
8 

737 
Auxiliary polynomial theorem 
8 

738 
Denjoy theorem 
8 

739 
Glaisher's theorem 
8 

740 
Grinberg's theorem 
8 

741 
Multiplicityone theorem 
8 

742 
Mumford vanishing theorem 
8 

743 
Pompeiu's theorem 
8 

744 
Quotient of subspace theorem 
8 

745 
Tunnell's theorem 
8 

746 
Milliken–Taylor theorem 
8 

747 
Naimark's dilation theorem 
8 

748 
RyllNardzewski fixed point theorem 
8 

749 
LatimerMacDuffee theorem 
8 

750 
Dodecahedral conjecture 
8 

751 
Rellich–Kondrachov theorem 
8 

752 
Dvoretzky's theorem 
8 

753 
Steinhaus theorem 
8 

754 
Lumer–Phillips theorem 
8 

755 
Ostrowski–Hadamard gap theorem 
8 

756 
Dunford–Schwartz theorem 
8 

757 
Splitting theorem 
7 

758 
Schreier refinement theorem 
7 

759 
Takagi existence theorem 
7 

760 
Eisenstein's theorem 
7 

761 
Cartan–Kähler theorem 
7 

762 
Rosser's theorem 
7 

763 
Karp–Lipton theorem 
7 

764 
Noether's theorem on rationality for surfaces 
7 

765 
Peetre theorem 
7 

766 
Schnyder's theorem 
7 

767 
Abel's binomial theorem 
7 

768 
Andreotti–Frankel theorem 
7 

769 
Beckman–Quarles theorem 
7 

770 
Bonnet theorem 
7 

771 
De Bruijn–Erdős theorem (incidence geometry) 
7 

772 
Fitting's theorem 
7 

773 
Fraňková–Helly selection theorem 
7 

774 
Goldstine theorem 
7 

775 
Graph structure theorem 
7 

776 
Harnack's curve theorem 
7 

777 
Hurwitz's theorem (number theory) 
7 

778 
Kharitonov's theorem 
7 

779 
Lauricella's theorem 
7 

780 
Lax–Wendroff theorem 
7 

781 
Quantum threshold theorem 
7 

782 
Reider's theorem 
7 

783 
Stallings theorem about ends of groups 
7 

784 
Synge's theorem 
7 

785 
Sz.Nagy's dilation theorem 
7 

786 
Tonelli's theorem (functional analysis) 
7 

787 
Friedlander–Iwaniec theorem 
7 

788 
Classification of Fatou components 
7 

789 
Kline sphere characterization 
7 

790 
Five circles theorem 
7 

791 
Hahn embedding theorem 
6 

792 
Conservativity theorem 
6 

793 
Compression theorem 
6 

794 
Sipser–Lautemann theorem 
6 

795 
Minkowski–Hlawka theorem 
6 

796 
Van Aubel's theorem 
6 

797 
Ore condition 
6 

798 
Artstein's theorem 
6 

799 
Balinski's theorem 
6 

800 
Berger–Kazdan comparison theorem 
6 

801 
Beurling–Lax theorem 
6 

802 
De Bruijn–Erdős theorem (graph theory) 
6 

803 
Grushko theorem 
6 

804 
Integral representation theorem for classical Wiener space 
6 

805 
Lefschetz theorem on (1,1)classes 
6 

806 
Levitzky's theorem 
6 

807 
Reeb sphere theorem 
6 

808 
Six exponentials theorem 
6 

809 
Specht's theorem 
6 

810 
Structure theorem for Gaussian measures 
6 

811 
Symmetric hypergraph theorem 
6 

812 
Szpilrajn extension theorem 
6 

813 
Tameness conjecture 
6 

814 
Von Neumann's theorem 
6 

815 
Siegel's theorem on integral points 
6 

816 
CN group 
6 

817 
Carleson measure 
6 

818 
Subring test 
6 

819 
Erdős–Stone theorem 
6 

820 
Riemannian Penrose inequality 
6 

821 
Schroeder–Bernstein theorem for measurable spaces 
6 

822 
Eells–Kuiper manifold 
6 

823 
Orlicz–Pettis theorem 
6 

824 
Ankeny–Artin–Chowla congruence 
less than 5 views 

825 
Mahler's compactness theorem 
less than 5 views 

826 
Linear speedup theorem 
less than 5 views 

827 
Thue's theorem 
less than 5 views 

828 
Von Staudt–Clausen theorem 
less than 5 views 

829 
Invariance theorem 
less than 5 views 

830 
Schwarz–Ahlfors–Pick theorem 
less than 5 views 

831 
Stickelberger's theorem 
less than 5 views 

832 
Thébault's theorem 
less than 5 views 

833 
Cramér–Wold theorem 
less than 5 views 

834 
Clifford's theorem on special divisors 
less than 5 views 

835 
Bauer–Fike theorem 
less than 5 views 

836 
Leray's theorem 
less than 5 views 

837 
Tverberg's theorem 
less than 5 views 

838 
Principal ideal theorem 
less than 5 views 

839 
Riemann–Roch theorem for surfaces 
less than 5 views 

840 
Freidlin–Wentzell theorem 
less than 5 views 

841 
Davenport–Schmidt theorem 
less than 5 views 

842 
Loop theorem 
less than 5 views 

843 
Krylov–Bogolyubov theorem 
less than 5 views 

844 
Generic flatness 
less than 5 views 

845 
Appell–Humbert theorem 
less than 5 views 

846 
Autonomous convergence theorem 
less than 5 views 

847 
Baranyai's theorem 
less than 5 views 

848 
Beer's theorem 
less than 5 views 

849 
Branching theorem 
less than 5 views 

850 
Brauer–Cartan–Hua theorem 
less than 5 views 

851 
Dawson–Gärtner theorem 
less than 5 views 

852 
Higman's embedding theorem 
less than 5 views 

853 
Sinkhorn's theorem 
less than 5 views 

854 
Vantieghems theorem 
less than 5 views 

855 
Cotlar–Stein lemma 
less than 5 views 

856 
Segal conjecture 
less than 5 views 

857 
Dedekind discriminant theorem 
less than 5 views 

858 
Tonelli–Hobson test 
less than 5 views 

859 
Markus−Yamabe conjecture 
less than 5 views 

860 
Riemann–von Mangoldt formula 
less than 5 views 

861 
Japanese theorem 
less than 5 views 

862 
Landsberg–Schaar relation 
less than 5 views 

863 
Bruck–Chowla–Ryser theorem 
less than 5 views 

864 
Nagell–Lutz theorem 
less than 5 views 

865 
Chowla–Mordell theorem 
less than 5 views 

866 
Gradient conjecture 
less than 5 views 

867 
Bendixson–Dulac theorem 
less than 5 views 

868 
Fuglede's theorem 
less than 5 views 

869 
Myers's theorem 
less than 5 views 

870 
Carmichael's theorem 
less than 5 views 

871 
Hasse norm theorem 
less than 5 views 

872 
Nagata–Smirnov metrization theorem 
less than 5 views 

873 
Scott core theorem 
less than 5 views 

874 
Sklar's theorem 
less than 5 views 

875 
Artin approximation theorem 
less than 5 views 

876 
Vietoris–Begle mapping theorem 
less than 5 views 

877 
Blattner's conjecture 
less than 5 views 

878 
Riemann–Roch theorem for smooth manifolds 
less than 5 views 

879 
Nielsen realization problem 
less than 5 views 

880 
Castelnuovo–de Franchis theorem 
less than 5 views 

881 
Müntz–Szász theorem 
less than 5 views 

882 
Bôcher's theorem 
less than 5 views 

883 
Clark–Ocone theorem 
less than 5 views 

884 
Lie's third theorem 
less than 5 views 

885 
Dévissage 
less than 5 views 

886 
Abel's curve theorem 
less than 5 views 

887 
Alperin–Brauer–Gorenstein theorem 
less than 5 views 

888 
Atiyah–Segal completion theorem 
less than 5 views 

889 
Beauville–Laszlo theorem 
less than 5 views 

890 
Beltrami's theorem 
less than 5 views 

891 
Birch's theorem 
less than 5 views 

892 
Blaschke selection theorem 
less than 5 views 

893 
Brauer–Nesbitt theorem 
less than 5 views 

894 
Brauer–Suzuki theorem 
less than 5 views 

895 
Brauer's three main theorems 
less than 5 views 

896 
Browder–Minty theorem 
less than 5 views 

897 
Cartan–Kuranishi prolongation theorem 
less than 5 views 

898 
Curtis–Hedlund–Lyndon theorem 
less than 5 views 

899 
De Bruijn's theorem 
less than 5 views 

900 
Erdős–Anning theorem 
less than 5 views 

901 
Erdős–Nagy theorem 
less than 5 views 

902 
Fernique's theorem 
less than 5 views 

903 
Fuchs's theorem 
less than 5 views 

904 
Hasse–Arf theorem 
less than 5 views 

905 
Hölder's theorem 
less than 5 views 

906 
Identity theorem for Riemann surfaces 
less than 5 views 

907 
Jurkat–Richert theorem 
less than 5 views 

908 
Kanamori–McAloon theorem 
less than 5 views 

909 
Kawamata–Viehweg vanishing theorem 
less than 5 views 

910 
Kneser theorem 
less than 5 views 

911 
Lambek–Moser theorem 
less than 5 views 

912 
LerayHirsch theorem 
less than 5 views 

913 
Mazur–Ulam theorem 
less than 5 views 

914 
Meusnier's theorem 
less than 5 views 

915 
Minlos' theorem 
less than 5 views 

916 
Moreau's theorem 
less than 5 views 

917 
Nonsqueezing theorem 
less than 5 views 

918 
Novikov's compact leaf theorem 
less than 5 views 

919 
Ortsbogen theorem 
less than 5 views 

920 
Pseudorandom generator theorem 
less than 5 views 

921 
Robbins theorem 
less than 5 views 

922 
Siegel–Walfisz theorem 
less than 5 views 

923 
Theorem of the cube 
less than 5 views 

924 
Turán–Kubilius inequality 
less than 5 views 

925 
Weber's theorem 
less than 5 views 

926 
Z* theorem 
less than 5 views 

927 
Halpern–Läuchli theorem 
less than 5 views 

928 
Fulton–Hansen connectedness theorem 
less than 5 views 

929 
Schiffler's theorem 
less than 5 views 

930 
Katětov–Tong insertion theorem 
less than 5 views 

931 
Wiener–Ikehara theorem 
less than 5 views 

932 
Commutant lifting theorem 
less than 5 views 

933 
Strassmann's theorem 
less than 5 views 

934 
Hadley's theorem 
less than 5 views 

935 
LeviLechicki theorem 
less than 5 views 

936 
Reversible diffusion 
less than 5 views 

937 
Tilted large deviation principle 
less than 5 views 

938 
Pettis' theorem 
less than 5 views 

939 
Bing's recognition theorem 
less than 5 views 

940 
Russo–Dye theorem 
less than 5 views 

941 
Completeness of atomic initial sequents 
less than 5 views 

942 
Hudde's rules 
less than 5 views 

943 
Haran's diamond theorem 
less than 5 views 

944 
Lyapunov–Malkin theorem 
less than 5 views 

945 
Three subgroups lemma 
less than 5 views 
