Por ejemplo, el cuerpo más "grande" "E" se corresponde al subgrupo trivial de Gal("E"/"E"), y el cuerpo base "F" se corresponde al grupo completo: Gal("E"/"F").