1: \begin{definition}

2: In the situation of Theorem \ref{factorization}, we say that $f$ has \emph{spherical multiplicity} $2m$ at $x+y\s$ and that $f$ has \emph{isolated multiplicity} $n$ at $p_1$.

3: \end{definition}

4: