Sigue de la discusión anterior, que la condición de cadenas finitas de divisores propios es equivalente, en un DIP, a la siguiente condición: