[0Y9]Mostrate che \(d_ a([s],[t])\) è la lunghezza del più corto arco in \(S^ 1\) che collega \(Φ([s])\) a \(Φ([t])\).