>>598
> >>592
> 句読点を入れると文全体の否定になるんですよ。

である、を抜かしたらいかんだろ。
もしそういう否定文の作りたいのなら、ちゃんと命題全体をくくって否定しなければ誤解のもとだよ。
「K'の各元はKの上に代数的である」でない。

で、この否定文の意味がわかっているなら、K'にはKの上に代数的ではない元が存在することも分り、
今それをαとおけば、K'⊇K(α)⊇K[α]⊇Kであり、
ここでK上のベクトル空間としてのK[α]の次元がどうなるかが分れば、
最初の>>551の命題「の殆ど」は分った事になる。