Resumen en español

Es claro que si n es compuesto 2n - 1 es compuesto, puesto que si n = rs entonces [2.sup.n] - 1 = [([2.sup.r]).sup.s] - 1 que puede factorizarse. Por tanto si [2.sup.n] - 1 es primo, entonces n es primo. Un primo de la forma [M.sub.n] = [2.sup.n] - 1 se llama un primo de Mersenne, en honor al monje francés Marin Mersenne (1588-1648), una de las personas con quienes Pierre de Fermat (1601-1665) mantuvo correspondencia.