а есть теорема, которая утверждает что в более мерном пространстве всегда есть более которкий путь между двумя точками менее мерного пространства?