1: \begin{definition} The cycle $\bsN$  whose existence and uniqueness is postulated  by Theorem \ref{th: fu1-norm} is called the \emph{normal cycle} of the  compact subanalytic set $X$ and it is denoted by $\bsN^X$. Using the  metric identification between the unit sphere in $\bsV\dual$ and the unit sphere $S(\bsV)\subset \bsV$ we will think of $\bsN^X$ as a $(n-1)$-dimensional cycle on $S(\bsV)\times \bsV$.\qed

2: \end{definition}

3: