Bézout's Identity on Euclidean Domain