Kronecker–Weber theorem

Every finite abelian extension of Q is contained within some cyclotomic field