Original: The fact that implies, by infinite Galois theory, that is isomorphic to.
Simplified: Then the Galois group of over is isomorphic with; because the Galois group of over is.