El teorema sostiene que la esfera cuatridimensional, también llamada 3-esfera o hiperesfera, es la única variedad compacta cuatridimensional en la que todo lazo o círculo cerrado (1-esfera) se puede deformar (transformar) en un punto.