C上の有理型関数全体のなす体は
C上の一変数有理関数体上超越的であることを示せ。
これどうやるの?