K(α)⊇K[α]は別に分かる必要ないでしょう。
K'⊇K[α]⊇Kだけ分ればいいんですからね。