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 (μια συντομότερη διαδρομή μέσα από το εσωτερικό του δίσκου θα αποτελέσουν μέρος του ορίου ενός καλύτερου κύκλου).