Prime factorization theorem