Prime Factors of 2^64 - 1

Theorem
The prime decomposition of $2^{64} - 1$ is given by:
 * $2^{64} - 1 = 3 \times 5 \times 17 \times 257 \times 641 \times 65 \, 537 \times 6 \, 700 \, 417$

Proof
From Sequence of Fermat Primes:

all of which are Fermat primes.

Then:

Hence the result.