in reply to Rabin Miller

See also Simple primality testing.