Q(ζ_m)がQ(ζ_n)を含むことと、
mがnの倍数になることって同値?