Primality proof for n = 16864411292623:
<p>Take b = 2.
<p>b^(n-1) mod n = 1.
<p><a href=936911738479.html>936911738479 is prime.</a>
<br>b^((n-1)/936911738479)-1 mod n = 262143, which is a unit, inverse 6497426775924.
<p>(936911738479) divides n-1.
<p>(936911738479)^2 > n.
<p>n is prime by Pocklington's theorem.