Qnをn次体とする。
|Aut(Qn/Q)|≦[Qn:Q]=n
等号はQn/Qがガロア拡大のとき成り立つ。