Sardの定理は U ⊂ R^m から R^n へのC^k級写像 f で、
S = {x ∈ U; df(x) が全射でない} とおいたとき、
f(S) がLebesgue零集合であることを主張するものである。
ここで、k ＞ sup(0, m ? n) である。
m ＞ n のときの証明が一番難しい。