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.