Renamed Prime_Factorization to Factorization