1. His solution, establishing the finiteness of B0(m, p), used a relation with deep questions about identities in Lie algebras in finite characteristic.

Sa solution, qui établit la finitude de B0(m, p), utilisait une relation avec des questions profondes sur des identités dans des algèbres de Lie en caractéristique positive.