What is...an Euclidean domain?