Initial definition of IsPrimeRabinMiller