Euclidean implies PID