A trivial proof of the primality test for Mersenne primes | Hacker News Reader