MathLabs

Problem 5

Does there exist a positive integer n n such that n n has exactly 20002000 distinct prime divisors and n n divides 2n+12^n+1?
Step 3 of 5: Verify p
p≡1(mod2n),p∣2n+1,gcd⁡(n,p)=1.p\equiv1\pmod{2n},\quad p\mid2^n+1,\quad\gcd(n,p)=1.
Detailed analysis

The order shows p is new and divides the required expression.