Figure 2.27.
Aprimality