Number Fields
《Number Fields》 · 第 29 页 · Chapter 2，Exercises，Exercise 8(c)
More generally, Kronecker and Weber proved that every abelian extension of $\mathbb Q$ (normal with abelian Galois group) is contained in a cyclotomic field.