，即存在formula_2使得formula_3，当且仅当"E"和"F"之间只有有限个中间域。
证明.如果formula_4是有限域，由于formula_5是有限扩张，推得formula_6也是有限域。但是由于有限域的乘法群是循环群，任取这个乘法群的一个生成元，formula_6可以由这个生成元生成。所以在formula_4是有限域的情况下，定理左右两边恒为真。如果formula_4是无限域，但是只有有限个中间域。先证明一个引理：假设formula_10并且formula_6