непрекъсната серия от >1 л-ци не може да граничи с п. значи всеки л. е м/у п-ци.

нека разгледаме първо само незаблужд. се п-ци. започваме с един:
п -> ппл или лпп -> лппл структура. т.е. около кръга имаме групи (лпп)

да разгледаме заблужд. се п-ци. възможности:
а) лп*л -> група (лп*) остатък 2 мод 3
б) лпп*пл -> група (лпп*п) остатък 1 мод 3
в) лпп*п*пл -> група (лпп*п*п) остатък 2 мод 3 (и двамата обхванати)

2005 е остатък 1 мод 3, то сл. в) отпада. от комб. м/у а) и б) е възможна само а)-а)

в крайна сметка 2005=3.887+2+2 или 887+1+1=889 л-ци.

(забележка: ако трябва да бъдем стриктни, "ако двама п. се заблуждават" не значи, че се заблуждават точно двама. в такъв случай са възможни много решения, едно от които е всички да са заблуждаващи се праведници)