Similar to ファトゥの補題

Proof that 22/7 exceeds π

Proof that π is irrational

Interesting number paradox

Open mapping theorem (complex analysis)

Rank–nullity theorem

Angle bisector theorem

Leibniz formula for determinants

Locally connected space

Coupon collector's problem

Casey's theorem

Tree of primitive Pythagorean triples

Mean value theorem (divided differences)

Shannon's source coding theorem

Noisy-channel coding theorem

Jordan's lemma

Law of sines

Law of tangents

Analyticity of holomorphic functions

Linear independence

Monotone convergence theorem

Intermediate value theorem

Parallelogram law

Taylor's theorem

Dirichlet integral

Thébault's theorem

De Moivre's formula

Ptolemy's theorem