Similar to 行列式に対するライプニッツの明示公式

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

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

Newton's theorem (quadrilateral)

Proof that e is irrational

Hardy–Littlewood inequality

Pappus's area theorem

Pappus's hexagon theorem

Banach–Alaoglu theorem