pub fn is_fermat_prime(n: u64) -> bool
A Fermat prime is a prime of the form 2^(2^k) + 1 (3, 5, 17, 257, 65537, …). The constructible odd-prime polygon sides are exactly these.
2^(2^k) + 1