Is 1 mersenne prime?