Gelanggang polinomial di atas bilangan bulat, \({\mathbb Z}[x]\text{,}\) merupakan UFD.