Todo dominio euclídeo formula_2 satisface las siguientes propiedades: