En un dominio euclideo, la identidad multiplicativa —el elemento formula_39— siempre tiene la norma más pequeña posible, es decir, formula_40.