Como O(n+1)/O(n) es compacto (imagen continua de compacto) y S es Hausdorff (subconjunto de un espacio métrico), entonces por la proposición 11.3.16, π es un homeomorfismo.