>>471
旧版の証明では、その
＜ K[a_1,…,a_(i-1)]は体であり,　＞
の一節が欠けていて、そのため帰納法の仮定が曖昧なので追加した、らしい。