Similar to スチュワートの定理

Leibniz formula for determinants

Locally connected space

Coupon collector's problem

Kőnig's lemma

Tree of primitive Pythagorean triples

Mean value theorem (divided differences)

Shannon's source coding theorem

Noisy-channel coding theorem

Jordan's lemma

Analyticity of holomorphic functions

Linear independence

Diagonal lemma

Monotone convergence theorem

Intermediate value theorem

Taylor's theorem

Dirichlet integral

Thébault's theorem

De Moivre's formula

Ptolemy's theorem

Sz.-Nagy's dilation theorem

Seven circles theorem

Napkin ring problem

Lazy caterer's sequence

Newton's theorem (quadrilateral)

Proof that e is irrational

Hardy–Littlewood inequality

Pappus's hexagon theorem

Banach–Alaoglu theorem