Cada subcuerpo de uno ciclotómico es una extensión abeliana de los racionales.