Ha egy R integritástartomány euklidészi gyűrű, akkor bármely két R-beli elemnek létezik kitüntetett közös osztója.