Similar to 半角正接置換

Primitive Pythagorean triple

Kempner series

Cauchy's mean value theorem

Mean value theorem (divided differences)

Schiffler point

Shannon's source coding theorem

Noisy-channel coding theorem

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

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