Uno de los primeros resultados imponía severas restricciones sobre la forma de intersección de una variedad diferenciable de dimensión 4.