theorem Th4: :: INT_3:4

for E being EuclidianRing holds E is gcdDomain