<?xml version="1.0" encoding='utf-8'?>
<!DOCTYPE wml PUBLIC "-//WAPFORUM//DTD WML 1.1//EN" "http://www.wapforum.org/DTD/wml_1.1.xml">
<wml>
<card id="card1" title="Strong pseudoprime - Page 2 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=strong_pseudoprime&amp;p=1">1.Previous</a><br />
<a accesskey="3" href="page.php?w=strong_pseudoprime&amp;p=3">3.Next</a>
</p>
<p>bases (the <a href="page.php?w=Carmichael_numbers">Carmichael numbers</a>), there are no composites that are strong pseudoprimes to all bases.</p>

<p><big>Motivation and first examples</big></p>
<p>Let us say we want to investigate if  is a <a href="page.php?w=probable_prime">probable prime</a> (PRP). We pick base  and, inspired by <a href="page.php?w=Fermat%27s_little_theorem">Fermat's little theorem</a>, calculate:<br/>
: This shows 31697 is a Fermat PRP (base 3), so we may suspect it is a prime. We now repeatedly halve the exponent:<br/>
: <br/>
:</p><p>
<a accesskey="1" href="page.php?w=strong_pseudoprime&amp;p=1">1.Previous</a><br />
<a accesskey="3" href="page.php?w=strong_pseudoprime&amp;p=3">3.Next</a>
</p>

<do type="prev" label="Search">
        <go href="search.wml"/>
</do>

</card>
</wml>
