Similar to シャノンの情報源符号化定理

Carathéodory's theorem (convex hull)

Leibniz formula for determinants

Locally connected space

Coupon collector's problem

Casey's theorem

Kőnig's lemma

Tree of primitive Pythagorean triples

Cauchy's mean value theorem

Mean value theorem (divided differences)

Schiffler point

Jordan's lemma

Sylvester–Gallai theorem

Stewart's theorem

Law of sines

Law of tangents

Analyticity of holomorphic functions

Linear independence

Diagonal lemma

Thales's theorem

Monotone convergence theorem

Ceva's theorem

Intermediate value theorem

Parallelogram law

Taylor's theorem

Dirichlet integral

Thébault's theorem

De Moivre's formula

Ptolemy's theorem