I didn't mean the exact same proof. The proof that K[x] is a PID works because you can do an induction on the degree of the polynomial. In the multivariable case you can set up a lexicographic order on the by ordering the vector . This is Grobner basis theory, btw.