Euclid環の整域はEuclid整域