>>66
すみません、句読点入れるのを忘れてしまいました。

K'の各元はKの上に代数的, でない⇒K'の中に超越的元xがある
⇒K[x]は多項式環と同型である⇒？？？⇒[K':K]=∞
もしかして皆さんは？？？が本当に分かるんですか？