1: \begin{definition}

2: In the assumptions of Theorem~\ref{thm:locSigma}, the variety $X'$ is called {\em a localization of $X$ in $\Sigma'=\Sigma(\kmG/\kmK)$}.

3: \end{definition}

4: