Primos de Mersenne

[Alexandre <alexv@xxxxxxxxxxxxxxx>]

Colegas, 
estudando num livro de algebra vi uma proposição que fala que se um número da forma (a^n)-1 é primo , então a=2 e n é primo.  E que tais números são ditos primos de Mersenne (Marin Mersenne, 1588-1648). Entretanto o intervalo desses números é bastante pequeno, o livro fala sobre [2 , 5000].  É isso mesmo, ou é apenas uma amostra? 
alguém tem algum artigo ou sabe onde posso encontrar alguma coisa mais aprofundada sobre primos de mersenne?

Agradeço desde já!

[]`s
Alexandre Vellasquez