An Integral Domain is a UFD if: Every nonzero and nonunit is a product of irreducibles If where are irreducibles, then and s.t. is an associate of . Proposition Let be an integral domain where every element is a product of irreducibles. Then is UFD iff every irreducible is prime. Theorem If is a UFD, so is .