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