Sard's theorem

Statement

Suppose $M$ and $N$ are differential manifolds and $f:M\to N$ is a smooth map between them. Then, the set of regular values of $f$ is a subset of measure zero in $N$.