 Sard theorem

For a smooth map between smooth manifolds, the set of critical values has measure zero in the target. In particular, regular values are dense.