Euclidean implies PID: Difference between revisions