Def/Euclidean domain

 =Metadata=