for E being EuclidianRing holds E is gcdDomain