>>562
560の対偶を取ってみてるんですけど・・・・・
K'の各元はKの上に代数的でない⇒K'の中に超越的元xがある
⇒K[x]は多項式環と同型である⇒？？？⇒[K':K]=∞
もしかして皆さんは？？？が本当に分かるんですか？