Entonces la proposición quiere decir que se puede dividir la bola original formula_1 en un cierto número de piezas y después rotar y trasladar estas piezas de forma que el resultado sea el conjunto formula_2 entero, el cual contiene dos copias de formula_1.