P
Initializing...
The equation $r(2^{t+1}-1)=2^{j+1}+t-1$ has no solutions with $t\ge1$ · Prove2Me