$k[x]$ Is a Principal Ideal Domain