设E是F的扩域：α，β∈E，|F（α）：F|＜∞，|F（β）：F|＜∞。证明：
若|F（α）：F|与|F（β）：F|互素，则|F（α，β）：F|=|F（α）：F|·|F（β）：F|。