Let $R$ be a [[Euclidean Domain]]