| Polynomial ring over a UFD is a UFD | 0D6KH8Y59N | statement | none |
| Zero is not a successor | 0D752BG155 | statement | none |
| The exponential function is convex | 0D7GRZ2ADX | statement | none |
| Variance of a sum | 0D86GJEZ39 | statement | none |
| Limits are unique in Hausdorff spaces | 0D8T984XEE | statement | none |
| Mean of the geometric distribution | 0DB0R4N5XX | statement | none |
| Matrix of the adjoint is the conjugate transpose | 0DBTE6HVBD | statement | none |
| Strong law of large numbers | 0DFWHQ839T | statement | none |
| Finite extensions are algebraic | 0DFYTNZ6AM | statement | none |
| Commutativity of addition | 0DFZNHJ0S2 | statement | none |
| Cauchy's integral formula | 0DG10TVYPN | statement | none |
| Spectral theorem for Hermitian matrices | 0DGZBQWZWN | statement | none |
| Order of a permutation is the lcm of its cycle lengths | 0DH7HMXP9F | statement | none |
| Estimation lemma | 0DJMGPN8K9 | statement | none |
| Cosets have the same cardinality as the subgroup | 0DKMBWTD7P | statement | none |
| Basel problem | 0DMY75D6FV | statement | none |
| K[x] is a Euclidean domain | 0DQG39K2NH | statement | none |
| Universal property of the polynomial ring | 0DQMDSVSXJ | statement | none |
| Bézout's identity | 0DQVHMYAGA | statement | none |
| Inequality of arithmetic and geometric means | 0DRF0F3XC9 | statement | none |
| The rationals are countable | 0DS9KWFDK2 | statement | none |
| Stone's representation theorem for finite Boolean algebras | 0DYS9C3HH5 | statement | none |
| Irrationality of the square root of 2 | 0DZGSDHD92 | statement | none |
| Number of nth roots of unity | 0E021GF2B8 | statement | none |
| Jordan–Hölder theorem | 0E088ZP533 | statement | none |
| Primitive root theorem | 0E0DNQK22P | statement | none |
| Orbit-stabiliser theorem | 0E2HSCKZ6C | statement | none |
| Dimension of the orthogonal complement | 0E2NYPVSP9 | statement | none |
| Law of total probability | 0E5G5FMT2R | statement | none |
| Convergents converge to the number | 0E70M92FE3 | statement | none |
| Fermat's Last Theorem for n = 4 | 0E741HSMJ1 | statement | none |
| Riemann rearrangement theorem | 0E7VBYGFF7 | statement | none |
| Exponential of a sum | 0E8HNVBCSP | statement | none |
| Harmonic series diverges | 0E9M24KS9J | statement | none |
| Chain rule in several variables | 0EAAS2EHDR | statement | none |
| A composite number has a prime factor at most its square root | 0EB6BBMQMC | statement | none |
| A finite integral domain is a field | 0EBE031B8E | statement | none |
| The multiplicative group of a finite field is cyclic | 0EBZ3G455G | statement | none |
| Existence of the infimum | 0EDH403M21 | statement | none |
| Neyman–Pearson lemma | 0EE19CFEEF | statement | none |
| Rule of sum | 0EE2V3CHFK | statement | none |
| Boole's inequality | 0EGSEE9J9R | statement | none |
| Prime number theorem | 0EHBY5Y84N | statement | none |
| Liouville's theorem | 0EHKVRF4J6 | statement | none |
| Binomial theorem | 0EHWPWGHB2 | statement | none |
| Universal property of the abelianisation | 0EJ4PC8NJ6 | statement | none |
| Epsilon-delta continuity in metric spaces | 0EKGKY5TGH | statement | none |
| Existence of nontrivial solutions of Pell's equation | 0EM6C9SZN5 | statement | none |
| Inverse in terms of the adjugate | 0ENVM493VK | statement | none |
| Continuous image of a connected set is connected | 0EPD87YVG8 | statement | none |
| Convergence in probability implies convergence in distribution | 0EPTDZPJ83 | statement | none |
| Central limit theorem | 0EPZC4Z1FC | statement | none |
| QR decomposition | 0ERWG4NXQ9 | statement | none |
| Divisibility by 9 | 0ESHD7ZQDX | statement | none |
| Existence of an algebraic closure | 0ETGBAK2CC | statement | none |
| Gershgorin circle theorem | 0ETGP0XVCJ | statement | none |
| Poincaré–Bendixson theorem | 0EW1X61ZT1 | statement | none |
| Impossibility of trisecting the angle | 0EWXPZCSZ0 | statement | none |
| The exponential function is its own derivative | 0EX9GFJ0B3 | statement | none |
| Cantor's intersection theorem | 0EZBG8SKJM | statement | none |
| Cauchy's integral formula for derivatives | 0F0H5P5DED | statement | none |
| Prime elements are irreducible in an integral domain | 0F0K8DB9TD | statement | none |
| Superposition principle | 0F2VBPXNP9 | statement | none |
| Bounded linear maps are continuous | 0F3K4C7XYW | statement | none |
| Derivative vanishes at a local extremum | 0F405477F8 | statement | none |
| Divergence of a curl is zero | 0F56CMMC5P | statement | none |
| g to the n equals 1 iff the order divides n | 0F5QC101Q7 | statement | none |
| Cayley–Hamilton theorem | 0F765KFC2J | statement | none |
| Closed subsets of complete spaces are complete | 0FBXJZX3MK | statement | none |
| The gamma function extends the factorial | 0FDCW77H44 | statement | none |
| A subgroup whose index is the smallest prime divisor of the order is normal | 0FEBE9NC0E | statement | none |
| e as the limit of (1 + 1/n)^n | 0FEMF8JKAF | statement | none |
| Universal property of the quotient topology | 0FF2FJ8CH2 | statement | none |
| Inclusion–exclusion principle | 0FF7726C7P | statement | none |
| The reals form a field | 0FGENPMPJX | statement | none |
| Characterization of bridges | 0FHM8DB6PM | statement | none |
| Epsilon-delta uniform continuity | 0FHSDCQACY | statement | none |
| Chromatic number of a complete bipartite graph | 0FJBBCXYPS | statement | none |
| Bertrand's postulate | 0FJTGZA4GS | statement | none |
| Triangle inequality for norms | 0FJZMBX0ZZ | statement | none |
| Simultaneous diagonalisation | 0FK17N4DKA | statement | none |
| Monotone convergence theorem for sequences | 0FM6N4R0VB | statement | none |
| Burnside's p^a q^b theorem | 0FMAQSB1SC | statement | none |
| Chinese remainder theorem | 0FNN9B4W64 | statement | none |
| Lévy's continuity theorem | 0FPWF7TTMB | statement | none |
| Inverse of a complex number | 0FQRAV5SKH | statement | none |
| Comparison test for improper integrals | 0FR1BDKK10 | statement | none |
| Heron's formula | 0FRBZ2X4HJ | statement | none |
| The complex numbers form a field | 0FRSR10DWF | statement | none |
| Trace is a coefficient of the characteristic polynomial | 0FRYPZ6D0X | statement | none |
| Infinite pigeonhole principle | 0FS3RHF6KE | statement | none |
| Determinant of a matrix with a zero row | 0FS6B46E5T | statement | none |
| Bertrand's ballot theorem | 0FS972T0ZH | statement | none |
| Reversing a path changes the sign of a line integral | 0FSCXYG856 | statement | none |
| Multiplicativity of the totient function | 0FSJA9M43W | statement | none |
| Second derivative test | 0FZFHK97P7 | statement | none |
| Transcendence of pi | 0G0F7FGCGP | statement | none |
| Sylvester's determinant theorem | 0G24VQ1088 | statement | none |
| The complex exponential is entire | 0G2YJN0H5S | statement | none |
| Continuous dependence on initial data | 0G3DBXRRQJ | statement | none |
| Automorphism group of a cyclic group | 0G4C8SJ6PV | statement | none |
| Derivative of the inverse function | 0G65751VSW | statement | none |
| Cauchy sequences are bounded | 0G6D8E7CTA | statement | none |
| Uniqueness of the complete ordered field | 0G8G1TH5WK | statement | none |
| Inscribed angle theorem | 0GA1V8NN8C | statement | none |
| Derivative of arcsine | 0GA6G43EA9 | statement | none |
| Epsilon-delta definition of a limit | 0GBZDAFPX8 | statement | none |
| Induction from an arbitrary base case | 0GF6AJEBZ0 | statement | none |
| General solution of an inhomogeneous linear equation | 0GHWEH6H15 | statement | none |
| Universal property of the quotient group | 0GJ83E78A5 | statement | none |
| Cancellation in an integral domain | 0GJM24EXP9 | statement | none |
| Trace is linear | 0GJWQZCPZM | statement | none |
| Addition formulas for hyperbolic functions | 0GJZCE87WP | statement | none |
| Solution space of a homogeneous linear equation has dimension n | 0GK68PZ6KH | statement | none |
| Absolute value is multiplicative | 0GMV7GP8W0 | statement | none |
| Nilpotent groups are solvable | 0GNG2KVPZJ | statement | none |
| Dirichlet's theorem on arithmetic progressions | 0GNVN3CA2P | statement | none |
| Cardinality of the power set | 0GPFKS96T7 | statement | none |
| The medians meet at the centroid | 0GPQ67XV7N | statement | none |
| Quotient of continuous functions is continuous | 0GR2APWTAC | statement | none |
| Angles in the same segment are equal | 0GS0AW6JRY | statement | none |
| Thales's theorem | 0GSDHYMA1T | statement | none |
| Cavalieri's principle | 0GTZ2F3PQY | statement | none |
| Bijection principle | 0GV2573FP4 | statement | none |
| Fundamental theorem of symmetric polynomials | 0GW1ZZH0R4 | statement | none |
| Integral of sine | 0GXCXCX3QN | statement | none |
| Units of Z/nZ are the residues coprime to n | 0GXNHEHQNA | statement | none |
| Second derivative test in several variables | 0GYDV9FE98 | statement | none |
| Divergence theorem on a rectangle in the plane | 0GZ3D8F921 | statement | none |
| The order of a finite field is a prime power | 0H5WWC8RZX | statement | none |
| Taylor's theorem with the Lagrange remainder | 0H5ZAZCX2T | statement | none |
| Changing the order of integration | 0H60H1Q0SX | statement | none |
| Product of power series | 0H6KWAYS87 | statement | none |
| Every finite tree with at least two vertices has a leaf | 0H8Q4MANBD | statement | none |
| Rule of Sarrus | 0H8SZFFDXJ | statement | none |
| Interior is the largest open subset | 0HAZEFH137 | statement | none |
| Induction on the integers | 0HBS1F00DN | statement | none |
| Union of open sets is open | 0HEF46RPEK | statement | none |
| Russell's paradox | 0HESMMSYEG | statement | none |
| Pigeonhole principle | 0HGVCWQGY3 | statement | none |
| Solutions for distinct real roots | 0HJ0HDA6W7 | statement | none |
| Second isomorphism theorem for rings | 0HJ4DTW6FN | statement | none |
| A sequence converges iff its liminf and limsup agree | 0HM732ZNVC | statement | none |
| Eigenvectors with distinct eigenvalues are linearly independent | 0HNMFG8F8K | statement | none |
| Generalised Stokes theorem | 0HPHKCGEQ0 | statement | none |
| Green's theorem | 0HR3N02317 | statement | none |
| Solutions for repeated roots | 0HRVY67CNV | statement | none |
| Axiom of choice | 0HTGB13FE2 | statement | none |
| Rouché–Capelli theorem | 0HV1SKWPMS | statement | none |
| Limit comparison test | 0HW7BNHHGF | statement | none |
