Nonzero Ideal of Polynomial Ring over Field has Unique Monic Generator

Theorem
Let $K$ be a field.

Let $K \left[{x}\right]$ be the polynomial ring in one variable over $K$.

Let $I \subseteq K \left[{x}\right]$ be a nonzero ideal.

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