since is the field of fractions of , by Gauss's lemma we only need to prove that is irreducible over

suppose that for some now look at as elements of

see that is transcendental over now since, as an element of the degree of is 1, we

must have and for some and in therefore &

hence must divide so hence