しかも、同型を除いて、極小な、つまり、"l" を含み "k" の正規拡大であるような "m" の唯一の部分体は "m" 自身であるような、そのような拡大は唯一である。