Consider a smooth curve $\gamma$ of finite length in the unit square $[0,1]\times[0,1]$. Is the following statement correct?

There exists a Lebesgue null set $N$ such that for all $x\in [0,1]\setminus N$ the set $\{y\in[0,1]:(x,y)\in\gamma\}$ has only finitely many points.

Generalization:

Consider a smooth manifold $M$ in the $n$ - cube $[0,1]^n$. Assume that the $n-1$ dimensional Hausdorff measure ${\cal{H}}^{n-1}(M)$ is finite. Is the following statement correct?

There exists a set $N$ with ${\cal{L}}^{n-1}(N)=0$ such that for all $x\in [0,1]^{n-1}\setminus N$ the set $\{y\in[0,1]:(x,y)\in M\}$ has only finitely many points. Here ${\cal{L}}^{n-1}$ denotes the $n-1$ dimensional Lebesgue measure.