1: \begin{definition} \label{def:reg-val}

2: We will say that $h\in \RR$ is a \emph{regular value} of $H$ if the corresponding level set $E_h$ either is empty or satisfies the properties \ref{th:ABC2-1}--\ref{th:ABC2-4} of Theorem~\ref{th:ABC2}. In this case we will also call the level set $E_h$ \emph{regular}.

3: \end{definition}

4: