Ce titre est un peu sibyllin. Il désigne un théorème prouvé par Jean Cerf à la fin des années 60, énonçant que tout difféomorphisme de la sphère de dimension trois se prolonge en difféomorphisme de la 4-boule. Par conséquent, aucune potentielle 4-sphère exotique ne pourra être obtenue par un recollement, aussi "exotique" soit-il, de deux hémisphères.
Le vrai théorème de Cerf (1968) énonce que tout difféomorphisme de la 3-sphère préservant l'orientation est isotope à l'identité. $\Gamma_4=0$ en est une conséquence immédiate.