Utilizando el hecho de que el grupo libre formula_39 de rango dos admite un subgrupo libre de rango infinito enumerable, una prueba similar nos da que la esfera unidad formula_153 puede partirse en infinitas piezas, cada una de las cuales es equidescomponible (con dos piezas) a la formula_153 usando rotaciones.