Ring of Integers is Principal Ideal Domain

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