Unique factorization theorem