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.

$\blacksquare$