Def/Euclidean domain 1