zero case RabinMiller