Similar to ディリクレ定理

Heine–Cantor theorem

Pappus's centroid theorem

Babuška–Lax–Milgram theorem

Picard–Lindelöf theorem

Fenchel's duality theorem

Fenchel–Moreau theorem

Helly's selection theorem

Helmholtz decomposition

Poincaré inequality

Mahler's theorem

Symmetry of second derivatives

Laplace principle (large deviations theory)

Riemann–Lebesgue lemma

Rellich–Kondrachov theorem

Template:Expand section

Daring-class destroyer (1949)

Type 03 Chū-SAM

703 in Japan