How do I prove that if $p$ is prime then $p$ divides $2^{p}-2$? I know that if $p$ divides $2^{p}-2$ can be written as $2^p - 2 \equiv 0 \bmod p$, but then I get stuck. Im not sure how to take an approach on this. 

Can you use Fermat's well-proven little theorem? 
Given an integer $b$ and a prime number $p$ such that $\gcd(b, p) = 1$, Fermat's little theorem tells us that $b^{p - 1} \equiv 1 \bmod p$. From this we can easily deduce that $b^p \equiv b \bmod p$ and therefore $b^p - b \equiv 0 \bmod p$, which means that $b^p - b$ is a multiple of $p$ as asserted.
For your question, we have $b = 2$, which is coprime to all odd primes. And so we have:


*

*$2^3 - 2 = 6 = 2 \times 3$

*$2^5 - 2 = 30  = 2 \times 3 \times 5$

*$2^7 - 2 = 126 = 2 \times 3^2 \times 7$

*etc.


Of course 2 is a prime but it is not coprime to itself. But it does us no harm to examine it as a single case: $2^2 - 2 = 2$.
But if you can't use Fermat's little theorem, you'd probably have to reinvent the wheel.
