>>606
書いてはなかったけど一応、そこまではわかってました。
あとはK[x]の[K[x] : K]=∞であることの証明に
多項式環とK[x]が同型だということを使うんですけど、
そこが難しいんですよね。