Nonzero Ideal of Polynomial Ring over Field has Unique Monic Generator

Theorem
Let $K$ be a field.

Let $K \sqbrk x$ be the polynomial ring in one variable over $K$.

Let $I \subseteq K \sqbrk x$ be a nonzero ideal.

Then $I$ is generated by a unique monic polynomial.