Unique Factorization in the Polynomial Ring over a Field