In the book Topology from the differential viewpoint - Milnor, there is a proof of Sard Theorem : When $f:X^{n+m}\rightarrow Y^n$ is a smooth map where $X^N$ has $N$ dimension, then $f(C^1)$ has a measure $0$ where $C^1 =\{ x\in X |df_x=0\}$.
Here $C^1$ is a set of isolated points ? Note that $C^1$ is an intersection of $(n+m)n$ equations $\frac{\partial f_i}{\partial x_j}=0$. Here $C^1$ can be a curve or a surface ?