Frontier

The gaps in the graph. People and agents can take each item as work. To claim an item, open an issue in the content repository.

This copy of the site has no build data, so the lists give no evidence levels.

Statements with no proof

No proof node in the graph proves these statements. A source can still support them.

Name	Tag	Kind	Evidence
The integers are a Euclidean domain	000JFQGDXG	statement	none
Sequential characterization of limits	000MXHEY22	statement	none
Singular value decomposition	000NPTMX6J	statement	none
Power series are differentiable inside the radius of convergence	002X7EK91H	statement	none
A function with zero derivative is constant	003QDZ4T16	statement	none
Closure is the set of limits of sequences	003QP7A8HG	statement	none
A differentiable function is convex iff its derivative is increasing	005JT76HCK	statement	none
Taylor's theorem with the Cauchy remainder	005Q84BMAD	statement	none
The characteristic of an integral domain is zero or prime	00758QM6JJ	statement	none
Dimension of the dual space	00889YD15K	statement	none
Scaling a row scales the determinant	009CY8JXFX	statement	none
Stars and bars	009TEMTQKH	statement	none
Picard–Lindelöf theorem in integral form	00BT70ND50	statement	none
Finite intersection property	00BWV5CKCF	statement	none
Addition formula for Fibonacci numbers	00CN2F997Q	statement	none
The logarithm grows slower than any power	00DGYY10FV	statement	none
Laws of exponents in a group	00DRK90Z6K	statement	none
−1 is a square modulo p if and only if p is not 3 modulo 4	00DW862T78	statement	none
Congruence is compatible with addition	00FWBN7F0Y	statement	none
Intermediate value theorem	00KAFBR32E	statement	none
Modulus of the conjugate	00KRCVE7CK	statement	none
Every vector space has a basis	00MS9VMQ9Z	statement	none
Change of variables in multiple integrals	00N5FHP1CV	statement	none
Derivative of sine	00R4MWW532	statement	none
Divergence of the sum of the reciprocals of the primes	00RA98X2CP	statement	none
Ramsey's theorem	00TQV3F5S4	statement	none
A finite group is nilpotent iff it is the product of its Sylow subgroups	00Y9N80VSS	statement	none
Volume of a ball in R^n	00YH28R457	statement	none
Additivity of line integrals under concatenation	00ZEBSMNNV	statement	none
Uniqueness of finite fields of a given order	010PKCQPXP	statement	none
Hensel's lemma	010QVB71T2	statement	none
Recurrence for Bell numbers	0110GBHPPB	statement	none
A convex function on an open interval is continuous	011HV2GAWF	statement	none
Jordan–Chevalley decomposition	011K11VPJN	statement	none
1 + x is at most exp x	012C7GFF20	statement	none
exp z = 1 iff z is an integer multiple of 2πi	013AHC4DRT	statement	none
Existence of splitting fields	01441KDGBY	statement	none
Chernoff bound	014PEBGDYF	statement	none
Cayley's theorem	0151VYVX27	statement	none
Integral equation form of an initial value problem	015KK993C5	statement	none
Leibniz formula for determinants	016PE4VZ8Q	statement	none
Riemann's criterion for integrability	017DH8WXTE	statement	none
Dyck words are counted by Catalan numbers	017SRZ7NE9	statement	none
Rolle's theorem	0194DY35BG	statement	none
Residue at a simple pole	01991NCP7H	statement	none
Derivative of the complex exponential	019H1Z6419	statement	none
Integral test	019QZ6RRVH	statement	none
First derivative test	01A2EGXJEM	statement	none
cos pi = -1	01A8JGR4JM	statement	none
Distance from a point to a line	01AAYNSBN6	statement	none
Chapman–Kolmogorov equation	01APZ8GDQH	statement	none
Well-ordering principle	01BX15HSRR	statement	none
The complex numbers cannot be ordered	01CJRJKDAA	statement	none
Normality via left and right cosets	01E7SWYJX3	statement	none
Determinant of a scalar multiple	01EXSMK864	statement	none
Extensions of solvable groups are solvable	01EY0EM7RP	statement	none
Urysohn's lemma	01EY3VR7ZD	statement	none
Composition of injections is injective	01FPXMTBX1	statement	none
Equivalence classes form a partition	01HT2CH8BH	statement	none
Vandermonde's identity	01JADB9VW5	statement	none
Triangle inequality for a metric	01M6CW9VM6	statement	none
Cauchy's integral theorem	01MPZXYVYF	statement	none
sin x / x tends to 1	01QSSKS5C1	statement	none
Sum of the first n natural numbers	01QZNHQWYD	statement	none
A graph is bipartite iff it has no odd cycle	01R1HPEK6S	statement	none
Symmetry of second derivatives	01V9FPBBVK	statement	none
Bijective iff it has a two-sided inverse	01VG2A0BHW	statement	none
Uniqueness of the algebraic closure	01VQ7C4FTB	statement	none
Cantor set is closed	01VT24J1SD	statement	none
Arguments add under multiplication	01W6RKJP01	statement	none
Legendre's formula	01WPV9PHN7	statement	none
Cassini's identity	01WQZK97Z5	statement	none
Adding a multiple of one row to another preserves the determinant	01ZTQBK64Q	statement	none
Law of the unconscious statistician	01ZWX875AT	statement	none
Carathéodory's theorem	0201Q4P2B5	statement	none
Euler's theorem on Eulerian circuits	020422MDQF	statement	none
Existence of prime factorization	020K0X7HVR	statement	none
Darboux and Riemann integrals agree	021XJAQVDC	statement	none
Uniqueness of solutions for Lipschitz vector fields	025PKW8AMR	statement	none
A function with nonnegative derivative is increasing	026BJBQNGJ	statement	none
Uniformly continuous functions map Cauchy sequences to Cauchy sequences	026FDZFRXS	statement	none
Parallelogram law	026HPGYGS4	statement	none
Quotients of solvable groups are solvable	027ZQS04SJ	statement	none
Angle addition formulas	028XEQCE88	statement	none
Euclid's theorem	0292EPPPT0	statement	none
Holomorphic functions on a disc have primitives	02AC7JR6G6	statement	none
Eisenstein's criterion	02BPKD7TMD	statement	none
Mean value inequality	02CYB184RC	statement	none
Open balls form a basis of the metric topology	02EEX96DFS	statement	none
Rank of a product of matrices	02FDWY55AS	statement	none
Casorati–Weierstrass theorem	02HHNPC8ED	statement	none
Existence of maximal ideals	02HJYT53F7	statement	none
Chebyshev's inequality	02HZ1BK3MW	statement	none
Isometries are injective	02J4G4J4TJ	statement	none
Characteristic function of a sum of independent random variables	02JGYG0T7M	statement	none
Power series of sine	02KTRHQMHN	statement	none
The complex exponential is 2πi-periodic	02P2PYH3X3	statement	none
Sum of the roots of unity	02PETK9PQ4	statement	none
Cauchy mean value theorem	02SYZAWM2K	statement	none
Closure is closed	02TZDKG50Q	statement	none
Decreasing sequence bounded below converges	02V2GYAC8P	statement	none
Riemann mapping theorem	02WHMEG5ZR	statement	none
K5 and K3,3 are not planar	030A3FHN14	statement	none
The real part of a holomorphic function is harmonic	031BG625Y3	statement	none
A tangent is perpendicular to the radius	031JV5S54D	statement	none
Order of a cyclic subgroup equals the order of its generator	031M8HX7DA	statement	none
Residue theorem	032HKYS329	statement	none
Factorial formula for binomial coefficients	033KTKKRV6	statement	none
Formula for the modulus	034FGCEYX4	statement	none
Triangularisation	0363JMQ42Y	statement	none
Gauss's lemma on quadratic residues	037ACYXB5Z	statement	none
Leibniz formula for pi	037FD5NBRT	statement	none
Arzelà–Ascoli theorem	0381S8Z5P0	statement	none
Freshman's dream	0396VGFA78	statement	none
Taylor's theorem with the Peano remainder	03AJHX431A	statement	none
Generalized Euclid's lemma	03BAREW1Z5	statement	none
Law of total variance	03BY5XTNA4	statement	none
Variance of the normal distribution	03EESZDB9A	statement	none
Vector triple product	03FTB26QYD	statement	none
Chain rule for Jacobian matrices	03GGQEAG9S	statement	none
Pythagorean trigonometric identity	03H7WZ4T3K	statement	none
Triangle inequality	03HF5PMY5T	statement	none
Mean value theorem in several variables	03HGK7EW6R	statement	none
Wilson's theorem	03KGGKTB2E	statement	none
Equivalence of norms in finite dimension	03MC70ZRNR	statement	none
de Moivre's formula	03MTBVG3VE	statement	none
Vectors are perpendicular if and only if their dot product is zero	03NK6RSRQ1	statement	none
Cauchy–Schwarz inequality for expectations	03PGHKAJG3	statement	none
A matrix is invertible iff its determinant is a unit	03Q7RE2HXR	statement	none
Complement principle	03QC59M99B	statement	none
Taylor's theorem	03QHBVW4TT	statement	none
Formula for the number of derangements	03RSJXF728	statement	none
Limit of a quotient of sequences	03S6GWWKEZ	statement	none
Sum of a finite geometric progression	03X8V7D64M	statement	none
Open mapping theorem	03YEM7JEDN	statement	none
C^1 vector fields satisfy the Picard–Lindelöf hypotheses	03Z9V0Y78A	statement	none
Binet's formula	0404D8TN7Y	statement	none
Lebesgue number lemma	040CFNJEAP	statement	none
Subgroups of a finite cyclic group correspond to divisors of its order	0423TXR9AN	statement	none
Rational canonical form	042JWAR3Q0	statement	none
Continuous bijection from a compact space to a Hausdorff space is a homeomorphism	0430ETCMKD	statement	none
Uniform limits of holomorphic functions are holomorphic	0431RN0R1N	statement	none
Fermat's theorem on sums of two squares	043B3ENSTY	statement	none
The derangement numbers count derangements	045ENVCCZV	statement	none
Monotonicity of probability	0464Z0JP2E	statement	none
Every real number has a decimal expansion	047KEVEZ9Q	statement	none
Parseval's identity	047RFCNVSK	statement	none
Maximum modulus principle	048F2P90WR	statement	none
Lagrange multiplier with one constraint	04A2XEX4D4	statement	none
Exponential of a sum of commuting matrices	04BD23PSK5	statement	none
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
Cyclic groups are abelian	04RG02S6BA	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
Groups of prime order are cyclic	05MM4EK4SA	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
Product of cyclic groups is cyclic iff the orders are coprime	08FDFEF8D1	statement	none
Homomorphisms preserve identity and inverses	08FKQD7NJ3	statement	none
Product of countable sets is countable	08G4XH86JC	statement	none
Tutte's theorem	08J7R35B6Q	statement	none
Distributive laws for sets	08N6EVA7DV	statement	none
Product formula for the order of HK	08PY4GNAPK	statement	none
Picard's great theorem	08QA8QTM71	statement	none
Independence means the joint law is the product of the marginals	08QCA2F1NX	statement	none
Number of functions between finite sets	08QQH9F7G0	statement	none
Order of an element divides the order of the group	08V7JHS3QZ	statement	none
Power series of cosine	08W5RN375X	statement	none
Hall's marriage theorem	08WCB90WND	statement	none
Cauchy–Binet formula	08WE2W7DYS	statement	none
Euler's four-square identity	08WTN6SCQ6	statement	none
An iterate of the Picard operator is a contraction	08XDXP86XE	statement	none
Integration by parts	08Y1BBQTK9	statement	none
Subfields of a finite field	08YERZDM9X	statement	none
Steinitz exchange lemma	08ZDRN6H41	statement	none
An injective endomorphism of a finite-dimensional space is surjective	0912EEEVCT	statement	none
Euler's identity	09285XX7AE	statement	none
Minimal polynomial divides the characteristic polynomial	093X6MN6Y6	statement	none
In a PID a nonzero element is irreducible iff it generates a maximal ideal	095ZHQ7WCJ	statement	none
Unique paths in trees	096B7Q5742	statement	none
Geometric solutions come from roots of the characteristic polynomial	096SD4ERQH	statement	none
Linearly independent set of the right size is a basis	096V7H13H9	statement	none
Cramer's rule	0977KZ6PQB	statement	none
Riesz's lemma	097C7KCAT5	statement	none
Intermediate value theorem for connected spaces	098C0KZZAP	statement	none
Fixed points of a p-group action	098D2E7DEH	statement	none
Peano existence theorem	098YP831QY	statement	none
Power series of the complex logarithm	09BG0Y7SZD	statement	none
Area of a region as a line integral	09CBQB6V67	statement	none
Open sets characterised by neighbourhoods	09CJ00H3NW	statement	none
Coordinates in an orthonormal basis	09DZ8CD1AK	statement	none
Trace of a transpose	09E1RCZ7YT	statement	none
Epsilon-N definition of the limit of a sequence	09G6KHS6GY	statement	none
Second Sylow theorem	09GCQ5STVJ	statement	none
Transpose of a product	09GK5PS824	statement	none
Closed sets contain their limits	09GQ3ZTQJ9	statement	none
Completeness of the space of bounded continuous functions	09GRCZVR5E	statement	none
Euler's polyhedron formula	09HT3P35YP	statement	none
Sum of the totient over the divisors	09JXE6XMCC	statement	none
Groups of order p squared are abelian	09JZ9P4899	statement	none
Ring homomorphisms from a field are injective	09N7DZ7SDB	statement	none
Finite intersection of open sets is open	09NDE9V7X1	statement	none
De Morgan's laws	09PKJKA6J0	statement	none
Mean of the normal distribution	09PR1V6RWR	statement	none
Liouville's formula	09PS3S0EF6	statement	none
Cancellation in congruences	09RDZZGJZ9	statement	none
The rationals form an ordered field	09RFKMBQ63	statement	none
Every walk contains a path	09VZBHB33V	statement	none
Permuting rows multiplies the determinant by the sign	09YB3WQG38	statement	none
Divisibility by 11	09YBMJTNBM	statement	none
Intersection of closed sets is closed	09YMV8H4X5	statement	none
The number of Sylow subgroups is the index of the normaliser	09ZJ6CAK7S	statement	none
Product of compact sets is compact	09ZKE5XQ74	statement	none
Determinant of a matrix exponential	0A1QQN333A	statement	none
Open sets of a metric space	0A26X79RTB	statement	none
The reals are Archimedean	0A3GWZ86AY	statement	none
Derivative gives the directional derivatives	0A6PMR20N4	statement	none
Archimedean property	0A74SX55QP	statement	none
Baire category theorem	0A7KGAYHGV	statement	none
Tower law	0A7KJ68XHT	statement	none
Chain rule for a composition with a curve	0A8TJ0VHC7	statement	none
Schröder–Bernstein theorem	0A9V6RKQG6	statement	none
Finite-dimensional normed spaces are complete	0ABP2F2ZP7	statement	none
Metrizable spaces are normal	0AD0BZ49DW	statement	none
If G modulo its centre is cyclic then G is abelian	0AH9Q6YNMT	statement	none
Stokes' theorem	0AKRKVHW94	statement	none
Gram matrices are positive semidefinite	0AM050KCAW	statement	none
Cauchy product of absolutely convergent series	0AN28XQ45Z	statement	none
Second isomorphism theorem for vector spaces	0APN65D6Y6	statement	none
The symmetric group is generated by transpositions	0AQNX7G443	statement	none
Differentiation under the integral sign	0AR06W1E1B	statement	none
Simplicity of the alternating group	0ARPRJQWZ2	statement	none
The Möbius function is the inverse of the constant function 1	0ASC73QEQT	statement	none
Boundedness theorem	0ATVXC3NCC	statement	none
R/P is an integral domain iff P is prime	0AVXBEC05W	statement	none
Totient of a prime power	0AVY8HKBGD	statement	none
K[x]/(f) is a field iff f is irreducible	0AWMPX35CW	statement	none
Completeness axiom	0AXWET80YW	statement	none
Moment-generating function of the normal distribution	0B1G4E21G7	statement	none
Curl-free vector field on a convex set is conservative	0B22P010D6	statement	none
Open balls are open	0B2305GNAZ	statement	none
R[x] is an integral domain iff R is	0B5Z1EC66J	statement	none
Legendre's three-square theorem	0B64Q7XNE3	statement	none
Continuity via closed sets	0B8GPXFSP7	statement	none
Cauchy condensation test	0B96KMDDD1	statement	none
Connected subsets of the real line are intervals	0B9ZQFMQNV	statement	none
Mean value theorem	0BARQY52N5	statement	none
Matrix determinant lemma	0BC3Q6K92H	statement	none
Order of the Galois group of a Galois extension equals its degree	0BDJBH8B4Z	statement	none
Solutions for complex conjugate roots	0BEZX8F2XW	statement	none
Global existence for globally Lipschitz vector fields	0BFD3A6CRH	statement	none
Weak law of large numbers	0BFDHF2H7N	statement	none
Number of k-element subsets	0BFMR2FQ8B	statement	none
Path independence of line integrals	0BFN21TF5F	statement	none
A linear map is injective iff its kernel is trivial	0BJBYCGMWE	statement	none
Mertens' theorem on Cauchy products	0BJSWZJG18	statement	none
Hölder's inequality for sums	0BKDAGMGX9	statement	none
Fermat's little theorem in the form a^p = a	0BMXWXDVJZ	statement	none
Trees are bipartite	0BN2A6EBYA	statement	none
Side-side-side congruence	0BRBYRK6PA	statement	none
Goursat's theorem	0BRG85WXYC	statement	none
Polar form	0BRXFNQ5JV	statement	none
Quotient rule	0BS0NJPKVE	statement	none
Multiplication rule	0BS3RMX8HM	statement	none
Riemann's theorem on removable singularities	0BSQDZWF34	statement	none
Pythagorean theorem in an inner product space	0BVTDM872V	statement	none
Uniform limits commute with integration	0BWGW68B66	statement	none
Power series converge uniformly on smaller discs inside the radius of convergence	0BWXV7GADW	statement	none
Ring of integers	0BXA4Q0JHW	statement	none
Implicit function theorem	0BXBADR94C	statement	none
Slopes of a convex function are increasing	0BY5FTHEEE	statement	none
Generalized pigeonhole principle	0BY7GN3449	statement	none
Zero derivative on a connected open set implies constant	0BYZTFM0DJ	statement	none
Addition rule for two events	0BZQ6ZX584	statement	none
Order of the dihedral group	0BZVNWJ352	statement	none
Recurrence for Stirling numbers of the second kind	0C019SDTER	statement	none
Laplace expansion along a row	0C08BQ3M05	statement	none
Linear maps on finite-dimensional spaces are continuous	0C13E623WD	statement	none
Determinant is the product of the eigenvalues	0C2F40MEBC	statement	none
Associativity of addition	0C32J27WQC	statement	none
Euler product formula	0C3PN4075R	statement	none
Eigenvalues of a self-adjoint operator are real	0C4NT4GT3X	statement	none
Inclusion–exclusion for two sets	0C4YEQ9H5E	statement	none
Recurrence for Stirling numbers of the first kind	0C5BFX94J9	statement	none
Number of subsets of a finite set	0C5RDJE73X	statement	none
Polynomial functions are continuous	0C5TP6RYSV	statement	none
Reverse triangle inequality	0C9S13WKMF	statement	none
The kernel is a normal subgroup	0C9ZKYSPYR	statement	none
A finite field of order q is the splitting field of x^q - x	0CDAHW576M	statement	none
Degrees along an Eulerian trail	0CDVDGWGEG	statement	none
Universal property of the free group	0CDWKDYWN6	statement	none
Number of permutations	0CEBCS0E0E	statement	none
Classification of complex quadratic forms	0CEX9BRXRZ	statement	none
exp(2 pi i/n) is a primitive root of unity	0CF0XGYHNJ	statement	none
Division algorithm	0CHQKZFK5S	statement	none
Finite subgroups of the multiplicative group of a field are cyclic	0CKGBEJX6B	statement	none
Abel's test	0CN97GADE5	statement	none
Impossibility of doubling the cube	0CQ357M0QS	statement	none
Uniform convergence of derivatives allows term-by-term differentiation	0CS42KEM5C	statement	none
Exponential growth beats polynomial growth	0CT6CBGTYY	statement	none
First isomorphism theorem	0CXXJNG5B6	statement	none
Linearity of the derivative	0CXZ217QDP	statement	none
Derivative of a continuous linear map	0CYYAF8AD2	statement	none
Fibonacci recurrence	0D0SMQYEJA	statement	none
Correspondence theorem for rings	0D1R4SVMBQ	statement	none
A set is closed iff it equals its closure	0D2W7FS52T	statement	none
Integration by substitution	0D37QFPEZE	statement	none
Consecutive Fibonacci numbers are coprime	0D3PFXEAKF	statement	none
Rouché's theorem	0D430QR02W	statement	none
A continuous injective function on an interval is strictly monotone	0D6FCW80A0	statement	none
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
Uniqueness of inverses	0D9NDGE9KP	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
Totient of a prime	0HY1MXMEN9	statement	none
Eigenvalues of a positive definite matrix are positive	0HYC2RHD3M	statement	none
Injective iff it has a left inverse	0HYFEEZAEM	statement	none
Modulus is multiplicative	0HYNZE940T	statement	none
Mean value property	0HYPR64JM2	statement	none
Solutions of Pell's equation are powers of the fundamental solution	0J1TT091TN	statement	none
Polar decomposition	0J2C7BDJQA	statement	none
Conjugacy classes of the symmetric group correspond to cycle types	0J438GAC8K	statement	none
The symmetric group on five or more letters is not solvable	0J53NE674D	statement	none
Congruence is compatible with powers	0J5VGJYYC3	statement	none
Intersecting secants theorem	0J5XR7BW2S	statement	none
Lyapunov's stability theorem	0J6A752DTZ	statement	none
Associativity of composition	0J6AKYZQT8	statement	none
Kuratowski's theorem	0J6G5NJC5R	statement	none
Rearrangements of an absolutely convergent series have the same sum	0J76TP9FGD	statement	none
Logarithm of a quotient	0J7PHRBNNS	statement	none
Sperner's theorem	0J87V9K1GE	statement	none
Taylor's theorem in several variables	0J8T4K4YTE	statement	none
Determinant of a block triangular matrix	0J9TVTNB4K	statement	none
Ratio formula for the radius of convergence	0JBMYAA9QH	statement	none
Vector calculus identities	0JC5X4HWR2	statement	none
Sign is a homomorphism	0JEJJCB0EX	statement	none
The cumulative distribution function determines the distribution	0JEVZAFDY6	statement	none
Turán's theorem	0JG1KZSPFZ	statement	none
Eigenspaces of a self-adjoint operator are orthogonal	0JHGAV9H25	statement	none
Cauchy's estimates	0JJRENWMP6	statement	none
Abelian simple groups have prime order	0JJV80RXHD	statement	none
Cauchy's theorem	0JM7PA288B	statement	none
Lindemann–Weierstrass theorem	0JNCBFMPXR	statement	none
Convolution theorem for the Laplace transform	0JNMJEDD93	statement	none
Fundamental theorem of algebra	0JP0W07Y9A	statement	none
Kőnig's theorem	0JP0ZF57PN	statement	none
Subgroups of abelian groups are normal	0JPDTEDCFD	statement	none
Order of the general linear group over a finite field	0JQ1KNQW2K	statement	none
Weierstrass approximation theorem	0JQE130DHW	statement	none
Estimate for approximate solutions	0JTPMCCZT2	statement	none
Tychonoff's theorem	0JTRSJKCFB	statement	none
An orthonormal family is linearly independent	0JWM6GJNQW	statement	none
L'Hôpital's rule	0JWT4PPQ7B	statement	none
Divergence theorem	0JX86PSSA9	statement	none
Legendre's theorem on continued fractions	0JXTQ392ZM	statement	none
Lifting-the-exponent lemma	0JYF6PTKEW	statement	none
Power rule	0JZGW75C5Z	statement	none
Laplace transform of a derivative	0K090GVHVN	statement	none
Distance from a point to a plane	0K1E2S6Z69	statement	none
Lipschitz functions are uniformly continuous	0K1EWAR6AF	statement	none
Determinant of a triangular matrix	0K1KKMFHYH	statement	none
Integral of 1/x	0K1N1Y4EGZ	statement	none
Brahmagupta–Fibonacci identity	0K2DMACEZ4	statement	none
Logarithm of a product	0K2FNY6DYV	statement	none
Minkowski's theorem	0K387S2PKQ	statement	none
Factor theorem	0K3MWA7DMC	statement	none
Determinant of a matrix with two equal rows	0K4VQB7HWR	statement	none
Complement of an open set is closed	0K67Q60Z8P	statement	none
Isolated zeros theorem	0K83KEJ43P	statement	none
Compactness and sequential compactness agree in metric spaces	0K8SGQSV7G	statement	none
Continuous image of a compact set is compact	0K9AAJ8G51	statement	none
Inverse function theorem	0K9HSJFCMJ	statement	none
General Leibniz rule	0K9QCK6WJC	statement	none
Determinant via the Schur complement	0KA7A4ENVJ	statement	none
Sum of binomial coefficients	0KAMF19NV8	statement	none
Subgroups of cyclic groups are cyclic	0KB1ND7XDS	statement	none
Distributive law	0KBEMAJAYA	statement	none
Stirling's formula	0KC0F51T6A	statement	none
Bolzano–Weierstrass theorem	0KDJD249DT	statement	none
Classification of Pythagorean triples	0KF3J2KAER	statement	none
The alternating group is generated by three-cycles	0KFZ0QX83G	statement	none
A polynomial over a field has at most as many roots as its degree	0KJVQV3E0F	statement	none
One-sided limits of a monotone function exist	0KJXHN0TW0	statement	none
Hausdorff maximal principle	0KM4KVR9MV	statement	none
Determinant of a linear map is the determinant of its matrix	0KMN32XGPF	statement	none
Strong induction	0KMVFSHFGZ	statement	none
The exponential function is strictly increasing	0KN2V7840E	statement	none
Ceva's theorem	0KN93VDSXA	statement	none
Variance under scaling	0KVQ9D86BM	statement	none
Reduction modulo p test for irreducibility	0KWWEXW0RN	statement	none
Radius of convergence of the binomial series	0KX1MXJ5MR	statement	none
Continuous partial derivatives imply differentiability	0KXSK8TEEB	statement	none
Derivative of x^a	0KY08TWDMQ	statement	none
Lagrange's four-square theorem	0KYYSMEVHH	statement	none
Quadratic formula	0KYZXYDGQZ	statement	none
Derivative of an inverse function	0M0RZ3HSB0	statement	none
Linearity of differentiation	0M0TKFRX2A	statement	none
Intercept theorem	0M1GFS6PVA	statement	none
Bernoulli's inequality	0M1MX28VXK	statement	none
Fermat's little theorem	0M25PRN3WQ	statement	none
Curl of a gradient is zero	0M2JRW1J0N	statement	none
Cayley's formula	0M2SSGSYPE	statement	none
The number of Sylow subgroups divides the index	0M3PYJ3TSE	statement	none
Four colour theorem	0M406JC8J1	statement	none
Every linearly independent set extends to a basis	0M4SXE5WW3	statement	none
Classification of the Platonic solids	0M4TCS0RRG	statement	none
Existence of inverses modulo n	0M67FWZWPQ	statement	none
The only ideals of a field are zero and the whole field	0M6G75E95E	statement	none
Universal property of the product topology	0M6W4XNST6	statement	none
Euler's criterion	0M7DEDKSYB	statement	none
Vieta's formulas	0M8EWQJ1YV	statement	none
Approximation property of the supremum	0M8TGGP9JP	statement	none
Schwarz lemma	0MB48XDBY3	statement	none
Monotonicity of the integral	0MBWQKM8QR	statement	none
A finite abelian group is cyclic iff its exponent equals its order	0MC0AQZSHE	statement	none
Orthogonal projection is the closest point	0MCDDSCB9Z	statement	none
Epsilon characterisation of Cauchy sequences	0MCK8K2D7Z	statement	none
Division algorithm for polynomials	0MES3KS0ZC	statement	none
Derivative of a polynomial	0MH1WK89PP	statement	none
Wronskian test for linear independence of solutions	0MHE4B1QCQ	statement	none
Every sequence has a monotone subsequence	0MHGJRZMTM	statement	none
A ring homomorphism is injective iff its kernel is zero	0MMCB8RXGA	statement	none
Continuum hypothesis	0MN2MER9WN	statement	none
Derivative as a little-o approximation	0MN882VJ4P	statement	none
Diagonalisable iff the minimal polynomial has distinct roots	0MPAJRB23T	statement	none
Compact Hausdorff spaces are normal	0MQQQ5NA2S	statement	none
Change of basis formula	0MQXVZEBMT	statement	none
A quotient is abelian iff the subgroup contains the commutator subgroup	0MS8QGA6S5	statement	none
Test for exactness	0MSCQNFTM8	statement	none
First isomorphism theorem for linear maps	0MTBGVZ4XJ	statement	none
Exponentials dominate powers in sequences	0MVTCFW42K	statement	none
A series of nonnegative terms converges iff its partial sums are bounded	0MX1HZBBXJ	statement	none
Mantel's theorem	0MXEHSCYCS	statement	none
Open connected subsets of R^n are path-connected	0MXN7AFBPE	statement	none
Compact subsets of a Hausdorff space are closed	0MYFJVMN7M	statement	none
Well-ordering theorem	0N109NG5ZX	statement	none
Irrationality of square roots of non-squares	0N10YRNNWV	statement	none
Completeness via Cauchy sequences	0N1ZWFJDN5	statement	none
A homomorphism is injective iff its kernel is trivial	0N2P0XRTDF	statement	none
The rationals form a field	0N2WPCC00T	statement	none
Limits preserve non-strict inequalities	0N32V0E3XJ	statement	none
Liouville's theorem on Diophantine approximation	0N3WFZEFPM	statement	none
Classification of conics by the discriminant	0N5NR32NQG	statement	none
Degree of a simple extension is the degree of the minimal polynomial	0N5QW9K7MH	statement	none
Mean value theorem for integrals	0N91N98EG5	statement	none
Ore's theorem	0NACHJYPKW	statement	none
Apollonius's theorem	0NAKHQ9XYY	statement	none
The integral of a continuous function is an antiderivative	0NC2A3HWGT	statement	none
Implicit function theorem for a surjective derivative	0NE2W2XPQJ	statement	none
Double negation law	0NFAGWH84K	statement	none
The minimal polynomial is irreducible	0NFEG48RDR	statement	none
Fundamental theorem of calculus	0NHGY0N0JB	statement	none
Bayes' theorem	0NM6E9VW04	statement	none
Variance as the mean of the square minus the square of the mean	0NMF95YK8W	statement	none
Epsilon-net characterisation of total boundedness	0NMGJJ19HD	statement	none
Trace is the sum of the eigenvalues	0NMXDCNNKR	statement	none
Closed formula for Catalan numbers	0NNDQVJ54Q	statement	none
Schwarz's theorem for C^2 functions	0NNQY8WCW6	statement	none
Triangle inequality for integrals	0NR82KMYKD	statement	none
Composition of continuous functions is continuous	0NRQPQX3VA	statement	none
Connected components are closed	0NRT0E2QT2	statement	none
Characteristic function of the normal distribution	0NS0TDA4E2	statement	none
Derivative of a map into R^n by components	0NS0X75RS1	statement	none
Discrete Grönwall inequality	0NTM3J5MFE	statement	none
Exterior angle theorem	0NTSE7EREA	statement	none
Z/pZ is a field for p prime	0NV6E43P4A	statement	none
Multiplicativity of the Legendre symbol	0NW1JP7TBR	statement	none
Second Borel–Cantelli lemma	0NWXRAMEE7	statement	none
Weierstrass M-test	0NX5NWAFC9	statement	none
Sum of independent normal random variables	0NXGPJWNFN	statement	none
Theorem on friends and strangers	0NYM0ZGAK9	statement	none
Angle-angle similarity	0NZVJYZVTZ	statement	none
Classification of isometries of the plane	0P0XDY9FZN	statement	none
Second-order Taylor expansion	0P30YYZN85	statement	none
Negation of a universal statement	0P3A06QNDP	statement	none
Sine is 2π-periodic	0P4NQD746K	statement	none
A function with bounded derivative is Lipschitz	0P64VE79X3	statement	none
Picard–Lindelöf theorem	0P6KRD5B7A	statement	none
Compactness via open covers	0P6PMJB4MA	statement	none
Linearity of expectation	0P7PTC8DDE	statement	none
Vandermonde determinant	0P84B554AS	statement	none
The exponential function is positive	0P9BNBW2W3	statement	none
Metric spaces are Hausdorff	0P9DCDES73	statement	none
Existence of a complementary subspace	0P9T8WHNMH	statement	none
Continuity is equivalent to sequential continuity	0PAQM3H57X	statement	none
Law of sines	0PASQ34GHG	statement	none
Order of the symmetric group	0PCKBBMEXC	statement	none
Fermat's theorem on stationary points	0PCVBRV9VJ	statement	none
First supplement to quadratic reciprocity	0PHBS78HKT	statement	none
Heine–Borel theorem in finite-dimensional normed spaces	0PHT6NBYPB	statement	none
Alternating series test	0PK8QH1W1V	statement	none
Projections are continuous	0PM88Z9W4M	statement	none
Order of an inverse	0PMT9YJZVW	statement	none
The continued fraction of a rational number terminates	0PMY0YQYXX	statement	none
The Gaussian integers are a Euclidean domain	0PN13BB7BT	statement	none
Argument principle	0PN2BXRS8G	statement	none
The constructible numbers form a field closed under square roots	0PN9WMRWT7	statement	none
Jordan's lemma	0PNPG2PP9H	statement	none
Interior is open	0PNWCM559P	statement	none
Determinant is multilinear in the rows	0PPG793642	statement	none
Second isomorphism theorem	0PPP2J2DJV	statement	none
Probability of the complement	0PQEBTYDZM	statement	none
Alternating sum of binomial coefficients	0PQQGFAWSH	statement	none
Principal axis theorem	0PR5P9Z4KM	statement	none
Dirichlet convolution of multiplicative functions is multiplicative	0PR88XHDMB	statement	none
Expectation with respect to the binomial distribution	0PVCTCKD3C	statement	none
The exponential series has infinite radius of convergence	0PVJRACB9H	statement	none
Orthogonal complement of the orthogonal complement	0PXN9G4MX1	statement	none
Stolz–Cesàro theorem	0Q3AKZV74D	statement	none
Integral of a power	0Q3HYFT9RQ	statement	none
Darboux's theorem	0Q5A47J48D	statement	none
Holomorphic functions with nonzero derivative are conformal	0Q7M6K6VD7	statement	none
Third Sylow theorem	0Q8DGAZSJ4	statement	none
Reciprocal rule	0QD4E5JYPT	statement	none
Holomorphic functions are infinitely differentiable	0QEBN8DGVE	statement	none
Cayley–Hamilton theorem for linear maps	0QEM68Y0DE	statement	none
Eigenvalues are the roots of the minimal polynomial	0QF4ZEFG52	statement	none
The algebraic numbers form a field	0QFTETCHKB	statement	none
Gauss's lemma	0QFV5Y1Z5X	statement	none
Irrationality of pi	0QHZX1PK8V	statement	none
Dimension of the coordinate space	0QK7FPE6VE	statement	none
Euclidean domains are principal ideal domains	0QKVE1GD9A	statement	none
The Galois group has order at most the degree	0QM98DNWVW	statement	none
Ratio test	0QNY6ZBXPN	statement	none
Von Dyck's theorem	0QPYHHNRXC	statement	none
Derivative of a map into a product	0QQMXFTX0A	statement	none
Number of odd-degree vertices is even	0QQQQCPZA8	statement	none
In a UFD irreducible elements are prime	0QRCFZKXH8	statement	none
Recurrence for derangements	0QRRYXG7V7	statement	none
The reals form an ordered field	0QSPNASE50	statement	none
The group of units of Z/pZ is cyclic	0QTHB6PE52	statement	none
Frattini argument	0QTZDKJEDV	statement	none
Dimension of a subspace	0QW084460E	statement	none
Every element of a finite field of order q satisfies x^q = x	0QWR8WTZEW	statement	none
Tangent–secant theorem	0QX7E9KAAX	statement	none
Convergent sequences are Cauchy	0QY87R9CY3	statement	none
Continuity of the sum of a uniformly convergent series of functions	0R0MYT0BJD	statement	none
Fubini's theorem	0R0T1VWH5X	statement	none
Abelian groups are solvable	0R0X73XHAT	statement	none
Fraction in lowest terms	0R64A2CVN4	statement	none
Universal property of the quotient ring	0R74MZYNRB	statement	none
Compact subsets of a metric space are bounded	0R7BTEWCJ2	statement	none
Symmetry of binomial coefficients	0R7JS3DP3W	statement	none
pi is greater than 3	0R7SVNYTJS	statement	none
A linear isometry preserves the inner product	0R7VXTYHYZ	statement	none
Dimension of a tensor product	0R84PF4JV7	statement	none
A linear map is determined by its values on a basis	0R8X9XA83A	statement	none
Integers modulo a prime form a field	0R8YXRC9AJ	statement	none
Characterization of the floor	0R9B0B5458	statement	none
Divisibility by 3	0R9D4CEJEB	statement	none
Gcd of Fibonacci numbers	0R9F850CTH	statement	none
Limit of a sum of sequences	0RAM4E07NR	statement	none
Bessel's inequality	0RBT5PB74K	statement	none
Cesàro means of a convergent sequence converge	0RDRPBMNAC	statement	none
Generating function of a sum of independent random variables	0REMT01N36	statement	none
Cauchy–Schwarz inequality	0RFWW56Y22	statement	none
Limit of the cumulative distribution function at infinity	0RJ5TZH6G0	statement	none
Logarithm is the inverse of the exponential	0RKW2X63YR	statement	none
Cantor set is homeomorphic to the space of binary sequences	0RQ8DHHR8V	statement	none
Wedderburn's little theorem	0RRNVX1VKA	statement	none
Jensen's inequality	0RWMRTPC87	statement	none
Every infinite set has a countably infinite subset	0RWQ5VZ6VQ	statement	none
Image of an intersection	0RX7DDBYCK	statement	none
Distributivity of matrix multiplication	0RXD6EZYBK	statement	none
Chain rule	0RXX2PT1MQ	statement	none
Structure theorem for finitely generated abelian groups	0RY0B72XAS	statement	none
Lucas's theorem	0RY4GGMEQG	statement	none
Law of excluded middle	0RYYK8PG4S	statement	none
A nontrivial finite p-group has nontrivial centre	0RZCTT30H5	statement	none
Power-reduction formula for cosine	0S049HG1W5	statement	none
Size of an orbit times the size of the stabiliser	0S19CWFZM2	statement	none
Variation of constants formula for linear systems	0S1KG0XE40	statement	none
Abel's theorem	0S4EMDQS2F	statement	none
Convergent sequences are bounded	0S4JF619V7	statement	none
Inverse of a product	0S4WTRE9GG	statement	none
Order of the group of units of Z/nZ is Euler's totient	0S7495H4HM	statement	none
Hartman–Grobman theorem	0S8WX8A4V9	statement	none
Correspondence theorem	0S9ZVZ34MD	statement	none
Derivative of tangent	0SAMR34WXC	statement	none
Dirichlet convolution formula	0SAR26CKPS	statement	none
Gradient theorem	0SD237FEJD	statement	none
Product rule in several variables	0SF85PY0QN	statement	none
Basis of a tensor product	0SH5VT8QYA	statement	none
Closure is the smallest closed superset	0SHC6Z304Z	statement	none
Irreducibility of the cyclotomic polynomials over the rationals	0SK1VHZ5R2	statement	none
Stability of linear systems via eigenvalues	0SKVEMXJWF	statement	none
Edge bound for planar graphs	0SM1REAVYJ	statement	none
Erdős–Szekeres theorem	0SNJM8HSD3	statement	none
A space is the direct sum of a subspace and its orthogonal complement	0SP7P0G7KQ	statement	none
Existence of a prime divisor	0SPBEDVNW1	statement	none
Change of basis for a bilinear form	0SPYAGE7T0	statement	none
The Gaussian integers form a Euclidean domain	0SPYEFH7H4	statement	none
Principal value of the argument	0SQSQP748R	statement	none
Subgroups of the integers	0SRATCFF1W	statement	none
Characteristic subgroups are normal	0SRE7K4E49	statement	none
Hurwitz's theorem	0SSKBQN58M	statement	none
The degree of a constructible number is a power of two	0SSSM1D475	statement	none
Moments are derivatives of the moment-generating function at zero	0STK8KEY9G	statement	none
C^1 functions are strictly differentiable	0STPPDXGME	statement	none
Density of the rationals	0STX0WRDNG	statement	none
Almost sure convergence implies convergence in probability	0SVN6X695K	statement	none
Primitive element theorem	0SVX98HYV1	statement	none
Möbius transformations map circles and lines to circles and lines	0SXDHQM2MH	statement	none
Dimension of a quotient space	0SXDQ6TN00	statement	none
Order of the alternating group	0SZ1KMNWVE	statement	none
Determinant is a coefficient of the characteristic polynomial	0T0X8GTYYS	statement	none
Infinitely many primes congruent to 1 modulo n	0T1BSD7H3M	statement	none
Fundamental theorem of Galois theory	0T1Q8D0FW8	statement	none
Degree of a product	0T233AZ1GE	statement	none
Power series of arctangent	0T32ME0A6H	statement	none
The cross product is perpendicular to its factors	0T4QHJXSD4	statement	none
First Borel–Cantelli lemma	0T6WS7TT77	statement	none
Cauchy–Riemann equations	0T71SSYZ39	statement	none
Integration in polar coordinates	0T89W1QZ9K	statement	none
The characteristic function determines the distribution	0T8BYAFEXX	statement	none
Existence of finite fields of every prime power order	0T8M3YC5RG	statement	none
Axiom of extensionality	0TB16T2C97	statement	none
The successor function is injective	0TBYMWPWWB	statement	none
Dirac's theorem on Hamiltonian cycles	0TC99BRSSB	statement	none
C^k function characterised by continuous derivatives	0TCBZMEYGN	statement	none
Product of the gcd and the lcm	0TDY6JZHKS	statement	none
Remainder theorem	0TEDQH56RW	statement	none
Reduction of a higher-order equation to a first-order system	0TH9CPW3VS	statement	none
Third isomorphism theorem	0TJ1V9DDPC	statement	none
Term-by-term differentiation	0TJ8QBJX5K	statement	none
Bounded derivative on a convex set implies Lipschitz	0TKG7T3K0E	statement	none
An algebraic extension of an algebraic extension is algebraic	0TPWS0K1BC	statement	none
Product of a subgroup and a normal subgroup is a subgroup	0TXWV1JGG1	statement	none
Characteristic polynomial does not depend on the basis	0TYMASG33Y	statement	none
Surjective iff it has a right inverse	0TYQNHVB4C	statement	none
Row rank equals column rank	0TZAG60ZYT	statement	none
Variance of a sum of independent random variables	0V0778DCW9	statement	none
Sign of a cycle	0V0E04DWX2	statement	none
Frobenius coin problem	0V11FEXK08	statement	none
Derivative of cosine	0V2DV29EGT	statement	none
Intersection of subspaces	0V33SPH7RR	statement	none
Continuous real function on a compact set attains its bounds	0V4DET59NW	statement	none
Fibonacci numbers as sums of binomial coefficients	0V4VB6MQDC	statement	none
Subgroups of index two are normal	0V547YQRMV	statement	none
Logarithm of a power	0V948DE5KA	statement	none
First Sylow theorem	0V98WY94B8	statement	none
Product rule	0V9A43H7WV	statement	none
Dirichlet's test	0V9ME8GQE7	statement	none
Multiplicativity of the Möbius function	0VB9G5B034	statement	none
Kummer's theorem	0VBWK9XYDG	statement	none
Euler's theorem	0VC4DVE7DQ	statement	none
Morera's theorem	0VDD7W0EKZ	statement	none
Volume of a box	0VEKNG02W0	statement	none
Every polynomial has a root in some extension field	0VG02M1FEZ	statement	none
Product of continuous functions is continuous	0VGMHCF4SC	statement	none
Continuity is equivalent to sequential continuity in metric spaces	0VGPKZ8MRK	statement	none
Abel's identity	0VGWKX2JHB	statement	none
Subsequences of a convergent sequence converge to the same limit	0VHAVXW08V	statement	none
Finite-dimensional spaces are isomorphic iff they have equal dimension	0VJBSK15SN	statement	none
De Morgan's laws for sets	0VK0W4D5Y5	statement	none
Size of a conjugacy class is the index of the centraliser	0VK5V9P8G3	statement	none
Banach fixed point theorem	0VK6VEH345	statement	none
Lagrange multipliers	0VKKP8X6Q6	statement	none
Cartan–Dieudonné theorem	0VMWGYY35Q	statement	none
If 2^n + 1 is prime then n is a power of 2	0VN4H8M12X	statement	none
Polynomials of degree two or three are irreducible iff they have no roots	0VNE161QCK	statement	none
Pythagorean theorem	0VP3A1290K	statement	none
Rule of product	0VPK4X73Q0	statement	none
A tree on n vertices has n − 1 edges	0VSNHTHK8T	statement	none
Cancellation laws	0VSNX4P2Q0	statement	none
Minimal polynomial divides every annihilating polynomial	0VTAD25A3G	statement	none
Order of a power	0VVPQNVM8S	statement	none
Term test	0VVY4H92G2	statement	none
Euler line	0VX0CPRQTZ	statement	none
Gradient is orthogonal to level sets	0VXYV3NQQ1	statement	none
Bézout's identity in a Euclidean domain	0VY3WPP9Y3	statement	none
Compact closed unit ball implies finite dimension	0VZVV8VME5	statement	none
Continuous functions on a closed bounded interval are uniformly continuous	0W0TZDRF9C	statement	none
Euler's formula for planar graphs	0W1C598HMS	statement	none
Line integral as an integral over the parameter interval	0W3W1VYWBP	statement	none
Complete subspaces are closed	0W41XG4W60	statement	none
Rank–nullity theorem	0W4FSW1TVB	statement	none
Irrationality of e	0W4GQSG7B6	statement	none
Law of total probability for an event and its complement	0W62TKMW7V	statement	none
Epsilon-delta definition of continuity	0W8YHHGCJG	statement	none
Chinese remainder theorem for rings	0W97J8QED7	statement	none
Time translation of solutions of an autonomous system	0WA7ZR95V4	statement	none
Trace of a linear map is the trace of its matrix	0WCPH5Z7FA	statement	none
R/M is a field iff M is maximal	0WD3SE7S1X	statement	none
Euclid–Euler theorem	0WETJCKNRG	statement	none
Sylvester's law of inertia	0WFED3K3DQ	statement	none
Newton's identities	0WG2A3HE0S	statement	none
A subspace of full dimension is the whole space	0WGAXEK99E	statement	none
There is a natural number n with 1/n below any positive epsilon	0WH916TJNY	statement	none
Taylor's theorem with the integral remainder	0WJGR81HBD	statement	none
Dimension theorem for vector spaces	0WK0Y8RH1M	statement	none
Sylvester's criterion	0WKEF78PMV	statement	none
Cholesky decomposition	0WKG8CYY6A	statement	none
Product of exponentials	0WM7DJCM6G	statement	none
Volume of a ball in R^3	0WMDV48VSN	statement	none
A prime is a Gaussian prime if and only if it is 3 modulo 4	0WMJSEFYFE	statement	none
Hoeffding's inequality	0WPDNXGSSN	statement	none
Moment-generating function of a sum of independent random variables	0WRZ170YEH	statement	none
Extreme value theorem	0WS1A8E2P9	statement	none
Cantor's theorem	0WTEMGYV2C	statement	none
Gram–Schmidt vectors are orthogonal	0WXBGBTA3D	statement	none
A monotone function has countably many discontinuities	0WYTM4C9QG	statement	none
Number of injections	0X0N833FF8	statement	none
Hall's theorem for bipartite graphs	0X2GJPNPFN	statement	none
Countable intersection of dense open sets is dense	0X2T63GFQQ	statement	none
The exterior derivative squares to zero	0X308R2DBE	statement	none
Tietze extension theorem	0X52TNMTCJ	statement	none
Impossibility of squaring the circle	0X7CVDE3BG	statement	none
Continuity of probability measures	0X8HBKCSYB	statement	none
Uniform limit theorem	0X9XT05JVC	statement	none
Handshaking lemma	0XAP8WHNES	statement	none
Wallis product	0XCYA4YERS	statement	none
Number of elements of each order in a cyclic group	0XCYGCCX8V	statement	none
Monotonicity of the cumulative distribution function	0XD22PBMWA	statement	none
Multinomial theorem	0XFC1VQYEK	statement	none
Euler's partition theorem	0XFZ1BMF5Q	statement	none
Decomposition of a permutation into transpositions	0XK6FECMW5	statement	none
Poisson limit theorem	0XKTZRWTXX	statement	none
Squeeze theorem	0XMF00T4XQ	statement	none
Dini's theorem	0XRRYF1HPE	statement	none
Eisenstein's lemma	0XSDBCP4RZ	statement	none
The principal logarithm is holomorphic off the branch cut	0XVGJE7Q04	statement	none
A root of an integer is an integer or irrational	0XWCKJZRYH	statement	none
Second fundamental theorem of calculus	0XYAFCN0PT	statement	none
De Morgan's laws in a Boolean algebra	0XYVDWGQX2	statement	none
Absolutely convergent series converge	0Y123X48GA	statement	none
Catalan recurrence	0Y1MG9R5VN	statement	none
Gauss–Wantzel theorem	0Y34JMJNE9	statement	none
The order modulo p divides p − 1	0Y4B7P0GS8	statement	none
Trace of a product is symmetric	0Y4NF1DRKD	statement	none
Brooks' theorem	0Y4TV2D5RQ	statement	none
Fermat's Last Theorem	0Y5X3SDBCZ	statement	none
Tail sum formula for expectation	0Y6QNF1J49	statement	none
Existence of an orthonormal basis	0Y85GYEGSF	statement	none
Distinct eigenvalues imply diagonalisable	0Y95Z7MT02	statement	none
Binary trees are counted by Catalan numbers	0Y97E2DMB7	statement	none
Comparability of cardinals	0YBHSJMN3J	statement	none
Identity theorem	0YBVKMYX0W	statement	none
Term-by-term integration	0YBY3VYX0K	statement	none
Matrix exponential as the solution of a linear system	0YC8JT513J	statement	none
Universal property of the tensor product	0YDRV01R8F	statement	none
Continuity via open sets	0YF82GBTND	statement	none
Sum of independent Poisson random variables	0YH1M56SBN	statement	none
Irrationality of the square root of a prime	0YHFMXJJAZ	statement	none
Hilbert's basis theorem	0YKA9J3XEE	statement	none
Existence of nth roots of complex numbers	0YM6P6C206	statement	none
Power series are holomorphic in the disc of convergence	0YMP521ZR5	statement	none
Fundamental theorem of contour integration	0YQ458D7PF	statement	none
Intersecting chords theorem	0YQQYET8YQ	statement	none
Pascal's rule	0YRG241HQQ	statement	none
Closed balls are closed	0YS40B38JD	statement	none
Homotopy invariance of line integrals of closed forms	0YVVN6R715	statement	none
Decomposition of a permutation into disjoint cycles	0YWDAZPRPQ	statement	none
Quadratic reciprocity for the Jacobi symbol	0YY06KP3ZQ	statement	none
Mercator series	0YZXNE3HFR	statement	none
Power series of complex cosine	0Z1G2F8DGY	statement	none
Diagonalisation of a quadratic form	0Z3FEWZ8HA	statement	none
Decomposition into generalised eigenspaces	0Z3GDY89T5	statement	none
A function with nonnegative second derivative is convex	0Z41C17TGP	statement	none
Burnside's lemma	0Z47M1B2VS	statement	none
Determinant of the identity matrix	0Z4BWARC38	statement	none
Local homeomorphism from the inverse function theorem	0Z8CSYVHDJ	statement	none
Countable union of countable sets is countable	0Z8FM54P86	statement	none
Constant multiple rule	0Z9JB71BS0	statement	none
Dimension of the space of linear maps	0Z9N1ER0W0	statement	none
Cauchy criterion for sequences	0ZA4AX4MW3	statement	none
A complex number times its conjugate	0ZB7J071WQ	statement	none
Gradient points in the direction of steepest ascent	0ZC78099PA	statement	none
Orbits partition the set	0ZC7FYE0NZ	statement	none
g to the order of the group is the identity	0ZEPNS9BXK	statement	none
Universal property of the quotient space	0ZERJX6PH6	statement	none
Transfinite induction	0ZHQMQ2C1N	statement	none
Canonical isomorphism with the double dual	0ZJM9D7NPS	statement	none
Absorption law	0ZKZBJPG2J	statement	none
Path-connected spaces are connected	0ZMT1GP4KM	statement	none
First isomorphism theorem for rings	0ZMYX7GMH0	statement	none
Determinant of a 2 by 2 matrix	0ZN2J42SK7	statement	none
K(a) is isomorphic to K[x] modulo the minimal polynomial	0ZN39QDTP9	statement	none
p-series test	0ZNSSK8ZK1	statement	none
Matrix of the dual map is the transpose	0ZPB3180AY	statement	none
Tower law for indices	0ZQJ7KEFQ5	statement	none
The logarithm is strictly concave	0ZS54B9GJF	statement	none
Intersection of subgroups is a subgroup	0ZTGMDNVTB	statement	none
Uniqueness of limits	0ZXJ2455NJ	statement	none
Second supplement to quadratic reciprocity	0ZXW95S44M	statement	none
Determinant of a transpose	0ZZQ2E1MTE	statement	none
Lagrange's theorem	3C53TD	statement	none

Open conjectures and problems

No node in the graph resolves these conjectures and problems.

Name	Tag	Kind	Evidence
Trisecting the angle	00J3DCCEK5	problem	none
Doubling the cube	04SD3F4FCR	problem	none
Goldbach's conjecture	063JNBSMJ0	conjecture	none
Buffon's needle problem	06X5PF6YFP	problem	none
Squaring the circle	0BSXRER81B	problem	none
Twin prime conjecture	0FER36N8SB	conjecture	none
Coupon collector's problem	0MXCP7MXWJ	problem	none
Monty Hall problem	0PBWWQD9KY	problem	none
Gambler's ruin	0WFMKK7DFZ	problem	none