mersenne prime proof