>>385
なぜ任意のiに対してUiはQを含む?
共通部分の定義間違えてないか?