Miller-Rabin and RSA