[0Y9]Show that \(d_ a([s],[t])\) is the length of the shortest arc in \(S^ 1\) that connects \(Φ([s])\) to \(Φ([t])\).