有限次代数拡大体が正規拡大であるかどうかは生成元で確かめてよい。

代数学III講義時の証明がイケてなかったのでやり直し。
有限次代数拡大体が正規拡大であるかどうかは生成元で確かめてよい。