Category:Ring of Integers is Principal Ideal Domain