Domain Euclid stata marupa domain ideal utama (PID), domain integral sané marupa ideal punika wantah ideal sané utama.