Similar to ミッチェルの埋め込み定理

Schur orthogonality relations

Descartes' rule of signs

Niven's theorem

Binomial theorem

Burnside's theorem

Mason–Stothers theorem

Classification of finite simple groups

Rational root theorem