Dirichlet's Theorem on Diophantine Approximation: For every real irrational $\alpha$ there are infinitely many rationals $p/q$ with $$\left|\alpha-{p\over q}\right|<{1\over q^2}$$