This program is an example of the more general "generate, define and test" organization: it includes the definition of an auxiliary predicate that helps us eliminate all "bad" potential solutions.
Овај програм је пример општије "генерисати, дефинишу и тест" организације: укључује дефиницију помоћним предикатима који нам помаже да елиминишемо сва "лоша" потенцијална решења.