Moreover, If the order of K is a unit in R, then R~K is Galois over R~K with Galois group G/K.

• 如果还有K的阶数是R中的单位；则还有R~K在R~G上是Galois的；Galois群为G/K.