The distance estimate follows from using small balls as barriers. See [1]} or [2]}. This can then be upgraded to smoothness using standard pseudolocality arguments. See [1]} or [2]}.

Оценка расстояния следует из использования маленьких шаров в качестве барьеров. См. [1] или [2]. Затем это можно улучшить, используя стандартные аргументы псевдолокальности. См. [1] или [2].