Domain Euclidean selalu merupakan domain ideal nang utama (PID), domain integral di mana setiap ideal adalah ideal utama.