Later, with Michel Kervaire, he showed that the 7-sphere has 15 differentiable structures (28 if one considers orientation).
Пізніше, спільно з Мішелем Кервером, він показав, що 7-мірна сфера має 15 гладких структур (28, якщо враховувати орієнтацію).