However, if an a mod n$,$ it$$s possible, but rather unlikely, that n is still

not prime. This exercise is about refining the Fermat test. It is known as the

Rabin$-$Miller test for non$-$primality. It relies on another peculiar property

which primes have.