Матиас Кручек вежливо отказался.

Сейчас его умственные силы без остатка были заняты теоремой Ярвета-Шпеерца, одной из трех великих недоказуемых теорем элементарной теории манолитичности, и отвлекаться он не желал.

 Январь-февраль 2007 г.