Prime Decomposition of 2^58+1

Theorem
The number $2^{58} + 1$ has the prime decomposition:
 * $2^{58} + 1 = 5 \times 107 \, 367 \, 629 \times 536 \, 903 \, 681$