アーベル拡大体lがある円分体にふくまれるとき、その円分体をふくむ無限に多くの円分体にも同時にふくまれる。