 Integral domains which share this property are called unique factorization domains (UFD).Greatest common divisors exist in UFDs, and conversely, every integral domain in which greatest common divisors exist is an UFD.Every principal ideal domain is an UFD.