双子素数は難しいから三つ子素数

双子素数てのは、差が2であるような2つの素数の組のこと。35とか、1113とかね。
同様に、三つ子素数は、差が2の3つの数字の組のこと。

(命題)三つ子素数3,5,7の一組しか存在し得ない。

(証明)
3,5,7三つ子素数なのは、定義から明らか。
また、nを4以上の整数とすると、定義から三つ子素数n, n+2, n+4と表せる。
ここで3を法とした合同式で考えると、n+4 \equiv n+1
よって、三つ子素数n, n+1, n+2 (mod 3)となる。
nは4以上の整数だから、いずれかは3の倍数、かつ6以上。特に合成数である。

よって題意は示された■