Ya vimos que 2 es irreducible. Un primo que divide a un producto debe dividir a algún factor, y 2 no lo hace, así que no es primo: en este anillo irreducible no implica primo.
Un elemento \(p\) no nulo y no unidad de un dominio de integridad \(D\) que no admite factorizaciones propias: en todo producto de dos factores igual a \(p\), uno de ellos es unidad.
\[p=ab\ \Rightarrow\ a\ \text{ o }\ b\ \text{es unidad}\]