Перечислимые и разрешимые множества (Делфи)

[Алёна18]

Задача по Теории алгоритмов (Программа на языке ДЕЛФИ).

Доказать, что множество четных чисел, больших 2, представимых в виде суммы двух простых чисел, перечислимо и разрешимо.

Знаю,что множество простых чисел разрешимо и перечислимость можно как-то вывести из разрешимости или же - использовать перечислимость множества простых чисел...но как это всё в программе на языке делфи расписать??? непонятно совсем(. Кто может помочь,благодарю.

[Abstraction]

но как это всё в программе на языке делфи расписать???

Вероятно (это я додумываю, если нельзя спросить у того, кто задание дал), требуется написать программу на языке Delphi, которая (если считать, что целые типы имеют бесконечную разрядность, бла-бла-бла), если её запустить, для всякого такого числа, рано или поздно его выведет и никогда не выведет чисел, не являющихся таковыми.