 Kronecker–Weber theorem

Every finite abelian extension of $\mathbb{Q}$ is contained in a cyclotomic field.