>>198
任意の自然数Nに対して、

2^n ≡1　　　[mod(1+10^N)]

を満たすnが必ず存在するから、題意は示された。