El post al que contestas está equivocado. Y el tuyo también. Lo que está demostrado es que:
2^n - 1 es primo => n es primo.
Es decir, para que el número 2^n - 1 sea primo es condición necesaria que n sea primo.
O dicho de otra manera,
Para que n sea primo es condición suficiente que 2^n -1 sea primo.
Y no al revés.
El contraejemplo de VBiR, aquí abajo, te puede ilustrar. Por cierto, VBiR, si no lo conocías de antes, ¡¡ menudo hallazgo !!.
Re:No es EL primo de Mersenne
(Puntos:2)( http://barrapunto.com/ )
2^n - 1 es primo => n es primo.
Es decir, para que el número 2^n - 1 sea primo es condición necesaria que n sea primo.
O dicho de otra manera,
Para que n sea primo es condición suficiente que 2^n -1 sea primo.
Y no al revés.
El contraejemplo de VBiR, aquí abajo, te puede ilustrar. Por cierto, VBiR, si no lo conocías de antes, ¡¡ menudo hallazgo !!.
Haz el amor y no la guerra.