Más tarde, en colaboración con Michel Kervaire, mostró que la 7-esfera tiene 15 estructuras diferenciables (28 si se considera la orientación).