Ring of Integers is Principal Ideal Domain/Proof 2

Theorem
The integers $\Z$ form a principal ideal domain.

Proof
We have that Integers are Euclidean Domain.

Then we have that Euclidean Domain is Principal Ideal Domain.

Hence the result.