Sea formula_7 un DIP y sean formula_4 y formula_5 elementos no nulos de formula_14 Entonces, hay un elemento formula_76 que es un mcd de formula_4 y formula_78 Además, hay elementos formula_79 formula_80 tales que