Fermat's primality test