A 17.18. Definíció szerinti f(a)=|a| abszolútérték-függvény egy euklidészi norma a \Z gyűrűn. Más szavakkal: \Z egy euklidészi gyűrű.