En 1961 Milnor refutó el Hauptvermutung mediante la muestra de dos complejos simpliciales los cuales son homeomorfos pero combinacionalmente distintos.