Zeige, dass im Ring Z [ − 2 ] = Z ⊕ Z 2 i {\displaystyle {}\mathbb {Z} [{\sqrt {-2}}]=\mathbb {Z} \oplus \mathbb {Z} {\sqrt {2}}{\mathrm {i} }} die Norm eine euklidische Funktion ist.