Euclidean Domain is UFD