La condicion 1) se puede relajar a que todo ideal sea producto de primos (la unicidad sale de regalo).