面白い問題教えて

２９８、やらせていただきます。
２９９より
（１０００１−１）＾ｎ＋・・・（１０００１−１）＾２＋１０００１
二項展開すると、ｍを自然数として,つぎのようにあらわせる。
１０００１ｍ＋１０００１＋（１−１＋１・・・・）
ここで、
ｎが奇数のとき,１−１＋１−・・・１−１＝０
　よって、１０００１ｍ＋１０００１は１０００１の倍数だから、素数ではない。
ｎが偶数のとき,１−１＋１・・・・＋１＝１
　よって、与式＝１０００１ｍ＋１０００２
１０００１と１０００２は公約数をもたないから、これは素数である。

ところで、１０００１と１０００２の公約数ってないですよね（自信なし）。
見つけようとしてがんばっても、見つからなかったもので。
公約数があれば、どんなｎにたいしても素数ではないことがいえるのですが。