Entonces, claramente, f([0,a]), el arco desde P= (0,1) a Q=(cos(2π a), sen(2π a)) es un subconjunto cerrado de S (intersección de la bola cerrada con centro en el punto medio entre P y Q, de radio la mitad de la distancia de P a Q, con S.