For otherwise, the distances within C must equal the distances in the disk enclosed by C (a shorter path through the interior of the disk would form part of the boundary of a better cycle).
В противном случае, расстояния внутри C должны быть равны расстояниям в диске, заключённом в C (кратчайший путь через внутренность диска образовал бы часть границы лучшего цикла).