Similar to ジョルダンの補題

Five lemma

Arzelà–Ascoli theorem

Apollonius point

Apollonius's theorem

Euler's formula

Open mapping theorem (complex analysis)

Analyticity of holomorphic functions

Hadamard three-circle theorem

0

1

2

3

4

5

6

7

8

9

Proof that 22/7 exceeds π

Proof that π is irrational

Interesting number paradox

Rank–nullity theorem

Gauss's lemma (number theory)

Angle bisector theorem

Carathéodory's theorem (convex hull)

Geometric mean theorem