Section 3.4 Page 3 of 3
Unique factorization