He proved that for n > 7, in less than n–2 dimensions, there are no groups of collineations that are isomorphic to the symmetric or alternating group on n symbols.
Zum Beispiel bewies er, dass es für n>7 keine Gruppen von Kollineationen in weniger als n–2 Dimensionen gibt, die isomorph zur symmetrischen oder alternierenden Gruppe von n Variablen sind.