La siguiente proposición muestra que la condición de que los irreducibles sean primos es equivalente a que haya mcd de elementos.