Liouville's theorem | Chinese remainder theorem | Shannon–Hartley theorem | Quillen–Suslin theorem | Nyquist–Shannon sampling theorem | Hahn–Banach theorem | Fermat's Last Theorem | Buckingham π theorem | Thue–Siegel–Roth theorem | Szemerédi's theorem | Schottky's theorem | Riemann-Roch theorem | Pythagorean theorem | Nash embedding theorem | Müntz–Szász theorem | Malgrange–Ehrenpreis theorem | Kleene fixed-point theorem | Kakutani fixed-point theorem | Gauss–Bonnet theorem | Doob's martingale convergence theorem | Dirichlet's theorem on arithmetic progressions | Denjoy theorem | Birch's theorem | Wilkie's theorem | Wick's theorem | Whitney extension theorem | Weierstrass theorem | Wedderburn's little theorem | Vietoris–Begle mapping theorem | Veblen–Young theorem |
Menasco, applying Thurston's hyperbolization theorem for Haken manifolds, showed that any prime, non-split alternating link is hyperbolic, i.e. the link complement has a hyperbolic geometry, unless the link is a torus link.