体 "l" は "k"("s")の代数的閉包であり、代数的閉包は同型を除いて一意的である。