Изменения
ну это же очевидно
{{TODO|t=где в доказательстве используется замкнутость шаров?}}
{{TODO|t=показать, что кроме этой точки, в пересечение больше ничего не входит}}
: Ну это понятно, пусть есть две разные точки <tex>x, y</tex>, тогда <tex>\rho(x, y) > 0</tex>, возьмем шар в пересечении радиусом меньше <tex>\rho(x, y) \over 2</tex> (такой есть по стремлению радиусов к <tex>0</tex>), ну и в нем может лежать либо <tex>x</tex>, либо <tex>y</tex>.
}}
