Euclidean domain ⇒ PID

Euclidean domain ⇒ PID: If $R$ is a Euclidean domain , then $R$ is a principal ideal domain : every ideal of $R$ is a principal ideal .