2^n-1 premier => n premier signifie "si 2^n-1 est premier alors n est premier"
je vois pas trop ce que tu veux dire avec ton n=1 (si on prend n=1, 2^n-1=1, et donc ni n ni ni 2^n-1 ne sont premier...)
pour ce qui est d'une démonstration, elle ce fait par contraposé, suppose n non premier, ie n=pq, et donne une décomposition de 2^n-1 en utiilisant une identité algébrique (c'est pas tous a fait évident non plus..) si tu trouve pas regarde le lien de robby3 (Bonjour robby ^^ ) il y a la réponse dedans.