 In particular, the greatest common divisor of any two elements exists and can be written as a linear combination 
of them (Bézout's identity).Also every ideal in a Euclidean domain is principal, which implies a suitable generalization of the fundamental theorem of arithmetic