Redirecting to Solovay-Strassen primality test