>>916-918
ありがとうございます
ちなみに体が自由に選べない場合でもこの主張は言えますか?
拡大体の方は有限群を決めたあとで自由に選べます