Fields and transcendentals



Hi,

It seems intuitively obvious to me that if t is some transcendental
over K, then K(t) (the smallest field containing both K and t) is
isomorphic to the field of rational functions over K.

What would be a formal proof of this?

Thanks,

Richard Hayden.

.