Si formula_43 es un elemento primo de un dominio formula_44 formula_43 es irreducible.