実際やってみて、なんで左手をネックの上から回す必要があるのかよくわかった。正攻法だとまともにミュートできないのだ。単に派手なビジュアルってなだけでない必然性があるわけだな。よく考えるよなあ。

要するに定理81の(iii)。E/Fがガロア拡大であれば、Eはある分離的な多項式f(x)∈F[x]の分解体である。E/Bを考えるとF⊂Bなのでf(x)∈B[x]であり、Eはその分解体であるから、E/Bはガロア拡大になっている。

さっぱりわからない。標数から復習しなおしかな。定理56、79あたりを使うのだろうか。