вы уже получили главную информацию: теорема существования доказана! узнать адресок/телефончик - дело техники. артыбаш/иогач имеет счётное и конечное число жителей N1+N2, каждый из которых имеет M знакомых, где M>1.

я шорский бы выучил только за то
за что его выучил ленин.