| log x is at most x - 1 | 04CBRA4JRK | statement | none |
| Determinant is multiplicative | 04CPJ6AF00 | statement | none |
| Spectral theorem for normal matrices | 04CW1P44VD | statement | none |
| Variance under translation | 04CYN5G6RY | statement | none |
| Order of a group is the index times the order of the subgroup | 04DC0SRN2K | statement | none |
| Uniqueness of the supremum | 04ETX30HT2 | statement | none |
| Riesz representation theorem in finite dimensions | 04GYPXDXNH | statement | none |
| Density of the irrationals | 04J6G4H78J | statement | none |
| Dirichlet's approximation theorem | 04JAY9DGB7 | statement | none |
| Hockey-stick identity | 04JHQNNBFE | statement | none |
| Sum of two squares theorem | 04NPWJMA6H | statement | none |
| Euler's formula | 04R3CY41VJ | statement | none |
| Law of total expectation | 04RRB6HM00 | statement | none |
| Zorn's lemma | 04RXTQA5ZA | statement | none |
| Chinese remainder theorem for non-coprime moduli | 04SJTX9P4N | statement | none |
| Contrapositive | 04T1CT7212 | statement | none |
| Multiplicativity of the divisor function | 04WC36XKV6 | statement | none |
| Integral of cosine | 04WTBQ7APQ | statement | none |
| Existence of primitive roots modulo a prime | 04XGKK8WQW | statement | none |
| Every connected graph has a spanning tree | 04XPQT2XTC | statement | none |
| Monotone functions are Riemann integrable | 04YKAYDQPW | statement | none |
| Comparison test | 04Z5G0THN6 | statement | none |
| The real numbers are uncountable | 0518MM6BE1 | statement | none |
| Euclid's lemma | 051VYKA1EX | statement | none |
| Product of a matrix and its adjugate | 0528HKWZ1Z | statement | none |
| Eigenvalues are the roots of the characteristic polynomial | 053QVHF6N7 | statement | none |
| Compact iff complete and totally bounded | 054Q5PW5GX | statement | none |
| Fermat numbers are pairwise coprime | 05598J0Y8R | statement | none |
| PID implies UFD | 055HT85T3S | statement | none |
| Lebesgue's criterion for Riemann integrability | 0565EGK6XP | statement | none |
| A matrix is diagonalisable iff it has a basis of eigenvectors | 056SW1E0AC | statement | none |
| Isosceles triangle theorem | 056VS31A0J | statement | none |
| Generating function for partitions | 0578PA53VA | statement | none |
| The nth roots of unity | 057BH3JC9S | statement | none |
| Number of compositions | 057H72B2MB | statement | none |
| Ptolemy's theorem | 058YS05YP5 | statement | none |
| Scalar triple product | 059Q2XWJDC | statement | none |
| Isomorphism with the coordinate space | 059THXBRBB | statement | none |
| Sum of a finite geometric series | 05APWSX53S | statement | none |
| Expectation of a product of independent random variables | 05AW1G0WE1 | statement | none |
| Stabilisers of points in the same orbit are conjugate | 05BM304NRX | statement | none |
| Zeckendorf's theorem | 05DEJR6TGF | statement | none |
| Polarisation identity | 05FKHRT0B4 | statement | none |
| Root test | 05H4DDDYBZ | statement | none |
| Inner automorphism group is isomorphic to G modulo its centre | 05HYGWFG63 | statement | none |
| Poincaré lemma for one-forms on convex sets | 05MC3HND79 | statement | none |
| Angle sum of a triangle | 05MDKQBEAF | statement | none |
| Subgroup criterion | 05N4TQKPH0 | statement | none |
| Composition of continuous maps is continuous | 05NK26G0DR | statement | none |
| Derivative of arctangent | 05P4B4Q22V | statement | none |
| Markov's inequality | 05PWWHYBX5 | statement | none |
| Matrix of a composition is the product of matrices | 05Q1B7MH0M | statement | none |
| Additivity of the integral over intervals | 05RCDKHZM6 | statement | none |
| Laplacian as a sum of second partial derivatives | 05RCT1522R | statement | none |
| Number of edges of a complete graph | 05RN90E14Y | statement | none |
| Harmonic numbers grow like log n | 05S2GSPMGA | statement | none |
| Negation of an existential statement | 05SZQKH75K | statement | none |
| Equality of complex numbers | 05V7J4WD1C | statement | none |
| Maximal ideals are prime | 05WAF5T0GZ | statement | none |
| Jacobian of spherical coordinates | 05WKRC7HWT | statement | none |
| Subgroups of solvable groups are solvable | 05Y0F9M0TS | statement | none |
| Law of cosines | 060ZVZBV3E | statement | none |
| Lucas–Lehmer test | 061BTYA0RN | statement | none |
| First fundamental theorem of calculus | 063H5KJC69 | statement | none |
| LaSalle's invariance principle | 0659J5X7B5 | statement | none |
| Inclusion of a subspace is continuous | 065J822CKN | statement | none |
| Repeating decimals are rational | 065S5B9HF1 | statement | none |
| De Moivre–Laplace theorem | 065X9S8CM3 | statement | none |
| Closed subsets of compact sets are compact | 066HW6D9A7 | statement | none |
| The integers are countable | 066RJJVWH9 | statement | none |
| Repeated roots and the derivative | 067F8YVYMH | statement | none |
| Tonelli's theorem | 067SYD2J4B | statement | none |
| Existence of square roots of nonnegative reals | 068BZBXE0C | statement | none |
| Closure in a metric space | 068P0P32DW | statement | none |
| Uniqueness of splitting fields | 069A3BC3EP | statement | none |
| Comparison of a series and an integral | 069HKV4X1E | statement | none |
| Laplace expansion along a column | 06AMCJMMVM | statement | none |
| Heine–Cantor theorem | 06B8BNJCD6 | statement | none |
| Solution formula for linear first-order equations | 06B9W45XV0 | statement | none |
| Five colour theorem | 06C0JBE52D | statement | none |
| Integral of the exponential function | 06D0EWR2DV | statement | none |
| Dimension of a direct product | 06HN47VPTH | statement | none |
| Grassmann's formula | 06HTJNCMPA | statement | none |
| Spectral theorem | 06J4PXRG22 | statement | none |
| Classification of finite simple groups | 06J6P03MG7 | statement | none |
| Power series of the exponential function | 06JZGMYTYD | statement | none |
| The minimal polynomial divides every polynomial vanishing at the element | 06K7SARZKR | statement | none |
| Every spanning set contains a basis | 06MRNP4BNT | statement | none |
| Cauchy criterion for series | 06PVXMY0TH | statement | none |
| Dimension of the annihilator | 06Q1EFVH0Q | statement | none |
| cosh^2 - sinh^2 = 1 | 06QCTRFBM0 | statement | none |
| Units of the Gaussian integers | 06RH4XAGRY | statement | none |
| Number of invertible residues modulo n | 06RJWZCG95 | statement | none |
| Continuous functions are Riemann integrable | 06SESV7GQY | statement | none |
| Existence of Laurent expansions on an annulus | 06WHRARZKY | statement | none |
| Converse of Wilson's theorem | 06WRV8HFDY | statement | none |
| Continuous image of a closed interval is a closed interval | 06ZARTQTQE | statement | none |
| Geometric formula for the dot product | 070TXS9AXM | statement | none |
| Congruence is compatible with multiplication | 072D5G4SK6 | statement | none |
| Limit of a product of sequences | 0734RSVF2V | statement | none |
| Cyclic groups of the same order are isomorphic | 0736AXH2ME | statement | none |
| Third isomorphism theorem for rings | 073C80EC63 | statement | none |
| Associativity of matrix multiplication | 073E4XC016 | statement | none |
| Kolmogorov's zero–one law | 073Q8Z94KG | statement | none |
| Correspondence between equivalence relations and partitions | 074482Q7CD | statement | none |
| One-sided inverse of a square matrix is two-sided | 0753Y2X5K6 | statement | none |
| The reals have the cardinality of the continuum | 075PM9FH7A | statement | none |
| Uniqueness of the derivative | 0762WAE49P | statement | none |
| Independent random variables are uncorrelated | 077GN9HDR6 | statement | none |
| Determinant of the inverse | 0783S9D0ZH | statement | none |
| Continuity of the inverse of a strictly monotone continuous function | 07BY47HG5S | statement | none |
| Classification of finite abelian groups | 07CQR9BW3R | statement | none |
| Lcm of coprime integers | 07CZYE06ZJ | statement | none |
| Lipschitz maps are uniformly continuous | 07DCKDXRBP | statement | none |
| Cauchy–Hadamard theorem | 07E5MB1CA2 | statement | none |
| Disjoint cycles commute | 07E6D8R4D6 | statement | none |
| Composition of surjections is surjective | 07EH4R3RVQ | statement | none |
| Grönwall's inequality | 07EJHQYR9A | statement | none |
| Pépin's test | 07HXA8KV6F | statement | none |
| A function with positive derivative is strictly increasing | 07J5X2T1ZX | statement | none |
| i squared is minus one | 07KBQCG9KV | statement | none |
| If 2^p − 1 is prime then p is prime | 07MMWAXMYD | statement | none |
| Fermat's Last Theorem for n = 3 | 07NKG38VEG | statement | none |
| Menelaus's theorem | 07NSKDGS7S | statement | none |
| Heine–Borel theorem | 07PFYV65MB | statement | none |
| Möbius inversion formula | 07Q4TBTFVB | statement | none |
| Third isomorphism theorem for vector spaces | 07RB3EMBWW | statement | none |
| Derivatives of the hyperbolic functions | 07T2TKGZ4J | statement | none |
| Young's inequality for products | 07VHQ31EYJ | statement | none |
| Derivative of the logarithm | 07X1QA6BRW | statement | none |
| Differentiable functions are continuous | 07ZMX4ANJS | statement | none |
| Anticommutativity of the cross product | 07ZS685JJC | statement | none |
| Every integer is a square times a square-free integer | 080Q3RPKY6 | statement | none |
| Linearity of the integral | 080RWVVSB6 | statement | none |
| Rational root theorem | 0819CQ1V8H | statement | none |
| Finite p-groups are nilpotent | 081WTKYX6C | statement | none |
| Holomorphic functions are analytic | 0826SGV3R0 | statement | none |
| Absolutely convergent series in a Banach space converge | 082MGNWNA8 | statement | none |
| Fundamental theorem of arithmetic | 084HH1NDCB | statement | none |
| P-adic valuation of a product | 0850JJMJYZ | statement | none |
| Angle bisector theorem | 0859R2V6ES | statement | none |
| Jordan normal form | 085HQ5G5TE | statement | none |
| Law of quadratic reciprocity | 085MJS6907 | statement | none |
| Fermat's right triangle theorem | 086BE0J3FZ | statement | none |
| Mean of the Poisson distribution | 086HEVXR9Z | statement | none |
| Chevalley–Warning theorem | 08895Q5W96 | statement | none |
| Divergence part of the ratio test | 08AM0KRCZ1 | statement | none |
| Class equation | 08BPSC6YTE | statement | none |
| Product of primitive polynomials is primitive | 08C1NWBNHA | statement | none |
| Existence of an eigenvalue over an algebraically closed field | 08CJB2NQ92 | statement | none |
