Проблема 13 шаров

[M-A-E]

Интересует проблема 13 шаров, а именно строгое доказательство невозможности приложить к шару 13 шаров?

Знаю 3 книги по данной тематике:
1. Яглом\Проблема 13 шаров --- там нет этого доказательства.
2. Фейшер Тот\Расположения на сфере, на плоскости и в пространстве --- там нет строгого доказательства.
3. Конвей Дж., Слоэн Н.\Упаковки шаров, решетки и группы --- в процессе изучения.
Какие книги есть еще?

[Усулгурт]

И что реально на планету земля нельзя приложить 13 бильярдных шаров?

[Brukvalub]

Все шары - одинакового размера с тем, к которому прикладываются.