高々有限個なんだから可能に決まってるでしょ