El hecho sorprendente es que esto no es cierto también para "n" = 4, lo que fue probado por Simon Donaldson en el año 1982; los contraejemplos se llaman 4-espacios exóticos (o falsos).