>>452
>>451からの流れでQの任意の元の要素数が有限になることは理解出来る?