An integral domain is ED if there is a Euclidean function s.t. for any :

  • If and then
  • If then s.t. either or .

Proposition

If is an ED then it is a Principal Ideal Domain.