↑正規拡大と分離拡大の定義を言ってみて下さい