is 2^(2^(2^(2^(2^(2)-1) -1) -1) -1) -1 a prime number