For every $n \neq 1, 6$, $2^n - 1$ has at least one prime factor not dividing any $2^k-1$ for $k < n$

Mersenne primes are infinite

All $2^n - 1$ are composite if $n$ is composite

The number of factors of $2^n - 1$ is always $n$