Каждый вариант — новое множество. Главное правило: перебором доказывают только на конечном множестве и только пройдя каждый элемент. Для бесконечного множества примеры дают лишь гипотезу.