命題
K を有限体（過去スレpart4の681）とする。
K~ を K の代数的閉包（過去スレpart4の634）とする。
このとき K~/K はGalois拡大（過去スレpart4の844）である。

証明
K~/K は正規拡大（過去スレpart4の844）である。
>>55より K は完全体（過去スレpart1の222）である。
よって、K~/K は分離代数的（過去スレpart4の843）である。
よって、K~/K はGalois拡大である。
証明終