円分体Q(exp(2πi/n))が巡回拡大になるnの特徴づけってある?