> [K[x] : K]
なにこれ。体の拡大次数のつもりだったらおかしいよね。だから
> K(α)⊇K[α]は別に分かる必要ない
とか言い出してるのか。