Number Theory: prove that if (a^b) - 1 is prime, then a=2 and b is prime (Mersenne Primes) (proof)

In this video we show that all prime numbers of the form a^b - 1 are in fact of the form 2^p - 1 where p is prime. Enjoy~