La respuesta es que toda extensión abeliana del cuerpo de los racionales es un subcuerpo de una extensión ciclotómico.