Polynomial Ring over a Field is a Principal Ideal Domain