La divisibilidad en un dominio tiene las siguientes propiedades adicionales.