Here is an integral domain. is irreducible if or is a unit is prime if Lemma For any , is prime iff or is prime. Lemma Every prime element is irreducible. Lemma Let . If is maximal, then is irreducible. (other direction holds if is a PID)