As a corollary he proved the celebrated Ramanujan–Petersson conjecture for modular forms of weight greater than one; weight one was proved in his work with Serre.
Som ett korollarium bevisade han Ramanujan–Peterssons förmodan för modulära former av vikt större än ett; fallet med vikt ett hade bevisats i hans arbete med Serre.