2^p-1=qm mod p
2-1=1=qm mod p
m=1->q=1 mod p
np+1<>m>1->(q-1)m=1-m>0 mod p
m=np+1>1->(q-1)m=0 mod p
2^p-1=qm=qpn+q=q=1 mod p