A regular polygon with "n" sides can be constructed with ruler, compass, and angle trisector if and only if formula_3 where "r, s, k" ≥ 0 and where the "p" are distinct Pierpont primes greater than 3 (primes of the form formula_4