代数閉包 の存在

補題

$K\subset L,L\subset M$が有限拡大 のとき,$[M:L][L:K]=[M:K]$