Prime Factorization Theorem