Kronecker-Weber theorem

Statement

Any finite abelian extension of the field of rational numbers is contained in a cyclotomic extension of the field of rational numbers.