Every irreducible is prime implies any two irreducible factorizations are equal upto ordering and associates

Statement
In an integral domain with the property that every irreducible element is a prime element, it is true that any two factorizations of an element into irreducibles are equal upto ordering and associates.

Facts used

 * 1) uses::Prime factorization of element is unique irreducible factorization upto ordering and associates

Proof
Fact (1) says that if a factorization into primes exists, it must equal any factorization into irreducibles, upto ordering and associates. If every irreducible is prime, then this translates to saying that any two factorizations into irreducibles are equal upto ordering and associates.