Figure 2.26. Primality