Let $K$ be an imaginary quadratic field and $O_K$ be its ring of integers. I'llWe say $O_K$ is ring euclideannorm Euclidean if the norm is a euclideanEuclidean function. It is known from the classification of imaginary quadratic fields with class number 1 that $O_K$ is euclideanEuclidean if and only if it is norm euclideanEuclidean. Is there a more straightforward proof of this fact?