Any prime factor $p$ of $a_n$ satisfies $p \equiv 1 \pmod{2^{n+1}}$

All prime factors are distinct for different $n$

The sequence consists of Fermat numbers

Every prime factor is of the form $k \cdot 2^n + 1$