An Integral domain is Euclidean if there is a Euclidean function such that for any : If and then If then s.t. either or . Proposition If is an Euclidean Domain then it is a Principal Ideal Domain.