eine Ringerweiterung, die lokal von folgendem Typ ist: \begin{eqnarray}B=A[{t}_{1},\ldots, {t}_{n}]/({f}_{1},\ldots, {f}_{n}),\end{eqnarray} und \begin{eqnarray}\det \left(\frac{\partial {f}_{i}}{\partial {t}_{j}}\right)\end{eqnarray} ist eine Einheit in B.