Let be a field, let be the function field of .

Let and set in reduced terms, with .

Now construct .

Note solves the polynomial .

This is a non-zero polynomial because otherwise it would contradict .

How do we prove this polynomial is irreducible over ?