Unique factorization of ideals in a number field

Every nonzero proper ideal of a number ring factors uniquely as a finite product of positive powers of distinct nonzero prime ideals.