There are at least two proofs of the above conjecture now.
To disprove the above you would need to find a Proth Number of
the form
This is non-trivial*
*No counter-examples exist for t<=30,000 in our limited testing
The following conjecture might be easier to disprove
