(1) "l" が "k" の不分岐拡大体であるとき、"k" を含む任意の "l" の部分体も "k" の不分岐拡大体である。