<?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="Proth&#039;s theorem - Page 6 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=Proth's_theorem&amp;p=5">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Proth%27s_theorem&amp;p=7">3.Next</a>
</p>
<p>a of proving primality, we may make the process slightly more efficient by checking about one-half of all possible a-values smaller than p - we expect half of said values to satisfy the congruence. Once more than p/2 distinct values of a have been tested, compositeness is deterministic. This is because, if p is prime then we expect half of all bases to bears witness; by the <a href="page.php?w=pigeonhole_principle">pigeonhole principle</a>, once more than half have been checked, we can deduce that none will bear witness, and if no base value</p><p>
<a accesskey="1" href="page.php?w=Proth's_theorem&amp;p=5">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Proth%27s_theorem&amp;p=7">3.Next</a>
</p>

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

</card>
</wml>
