Come corollario provò la nota congettura di Ramanujan–Petersson per le forme modulari di peso maggiore di 1; la dimostrazione per le forme modulari di peso 1 fu prodotta assieme a Serre. ###>This proof completed a programme initiated and largely developed by Alexander Grothendieck.