Prime-Factorization,-Exactly