K'がKの拡大体であるとき、拡大体K'がK加群として長さ有限のとき、
K'の中に超越的元xがあればK[x]は多項式環と同型であるから、
有限の次数を持てば、必然的に代数拡大体なのはなぜですか？
お願いします。