Para el paso 4, ya se ha visto que la bola menos un punto admite una descomposición paradójica; queda por ver que la bola menos un punto es equidescomponible con la bola.