Es decir, si formula_1 es un DIP, y formula_2 y formula_3 son elementos de formula_1, y formula_5 es el máximo común divisor de formula_2 y formula_3 entonces existen formula_8 e formula_9 elementos de formula_1 tales que formula_11.