Similar to シャノンの通信路符号化定理

Hardy–Littlewood inequality

Pappus's area theorem

Pappus's hexagon theorem

Banach–Alaoglu theorem

Banach fixed-point theorem

Tangent half-angle substitution

Pythagorean theorem

Lune of Hippocrates

Fatou's lemma

Bézout's identity

Petr–Douglas–Neumann theorem

Helly's theorem

Poincaré–Bendixson theorem

Power of a point

Menelaus's theorem

Monge's theorem

Jacobi's formula

Dominated convergence theorem

Laplace expansion

Law of cosines

Law of cotangents

Routh's theorem

Taylor circle

L'Hôpital's rule

Rolle's theorem

Wiles's proof of Fermat's Last Theorem

Coding theory