Sard's theorem states that the set of critical values of a map smooth $f: M \to N$ between smooth manifolds has measure zero. However all applications I know of this theorem only use much weaker statements such as the density (or even only the existence) of regular values.
Does anybody know of an example of an application of Sards theorem (in differential topology/ geometry) that actually relies on the measure zero statement?