Galois group
from formula_23 onto the Galois group formula_24.