双子素数pとp+2の乗法群の生成元は少なくとも一つは被っている
これって真?