Morse-Sard Theorem

Theorem
Let $f: X \to Y$ be any smooth map of manifolds.

Then almost every point in $Y$ is a regular value of $f$.

Also known as
Also known as Sard's Theorem or Sard's Lemma.