On considère un nombre premier $n$.

On pose alors le nombre $M_n = 2^n-1$.

$M_n$ est-il un nombre premier ?

