every prime "p" is a thabit prime of the first kind base "p", a williams prime of the first kind base "p"+2, and a williams prime of the second kind base "p"; if "p" ≥ 5, then "p" is also a thabit prime of the second kind base "p"−2.