A la inversa, "cada" extensión abeliana de los racionales es un subcuerpo de uno ciclotómico (éste es el contenido de un teorema de Kronecker, llamado normalmente "teorema de Kronecker-Weber" ya que Weber dio la demostración).