а мне чо-то подумалось, что речь примерно о том, что если кратчайшее расстояние между точками есть отрезок прямой их соединяющий, значит есть и прямые и точки и отрезки

вообще чел всё правильно написал. только зачем-то добавил ни к селу ни к городу наезды на кантора и теорию множеств. Вообще не понятно как следующие из его поста