19.18. Tétel
Ideálok és a kitüntetett közös osztó
Legyen tetszőleges integritástartomány. Legyenek továbbá , és az tetszőleges elemei, és tegyük fel, hogy halmazegyenlőség áll fenn az és a ideálok között, azaz
Ekkor kitüntetett közös osztója -nak és -nek.
♣