Оцените, пожалуйста, красоту данной задачи. Я знаю, что решение простое (если даже я за 15 минут решила

), но условие, на мой взгляд, очень красивое.
Существует ли такое множество

из 4020 натуральных чисел, что наименьший простой делитель суммы элементов любого 2011-элементного подмножества

превышает 2011?