1.F≤K 是域,满足 [K:F]