Ta có \(2^{p-1}\equiv1\left(\text{mod }p\right)\)
Ta có \(n.2^n\equiv m\left(p-1\right).2^{m\left(p-1\right)}\left(\text{mod }p\right)\Rightarrow n.2^n\equiv-m\equiv1\left(\text{mod }p\right)\)
\(\Rightarrow m=kp-1\left(k\in N\text{*}\right)\)
Vậy với \(n=\left(kp-1\right)\left(p-1\right)\left(k\in N\text{*}\right)\) thì \(n.2^n-1⋮p\)