1: \begin{proof}[Idea of the proof]

2: Recalling that $u=\nabla u\equiv 0$ on the contact set $\{u=0\}$ (see Figure \ref{Pic-ell-ob}), 

3: we have in particular that $u|_{\Sigma_m}=\nabla u|_{\Sigma_m}\equiv 0$.

4: Also, by Theorem \ref{thm:uniq blow 2},

5: $$

6: u(x_0+y)=p_{*,x_0}(y)+o(|y|^2).

7: $$

8: Hence, at least formally, this means that $p_{*,x_0}$ corresponds to the second order term in the Taylor expansion of $u$,

9: namely ``$p_{*,x_0}(y)=\frac12 D^2u(x_0)[y,y]$''.

10: 

11: Since the map

12: $\Sigma\ni x_0\mapsto p_{*,x_0}(y)$ is continuous,

13: %intuitively this is saying that ``$\nabla u$ is $C^1$ on the singular set'', so the idea would be to apply the Implicit Function Theorem to the function $\nabla u$.

14: %

15: %To make this intuition rigorous, 

16: one can apply Whitney's extension theorem to find a map $F:\R^n\to \R^n$ of class $C^1$ such that

17: $$

18: F(x_0)=\nabla u(x_0)=0 

19: \qquad \text{and}\qquad \nabla F(x_0)=D^2p_{*,x_0}\qquad \forall\,x_0\in \Sigma_m.

20: $$

21: Noticing that ${\rm dim}({\rm ker }\,\nabla F(x_0))={\rm dim}({\rm ker }\,D^2p_{*,x_0})=m$ on $\Sigma_m$, it follows by the Implicit Function Theorem that

22: $$

23: {\Sigma_m}=\{F=0\}\cap {\Sigma_m}

24: $$

25: is locally contained in 

26: a $C^1$ $m$-dimensional manifold,

27:  as desired.

28: \end{proof}

29: