Kronecker-Weber theorem. Every abelian extension of the field Q of rational numbers is contained in some cyclotomic field (extension of Q by roots of unity).