Найдите все пары простых чисел вида (а^n – 1, a^n + 1) как решить?

Разность a^n-1 при n >= 2 раскладывается в виде
(a-1)(a^(n-1)+a^(n-2)+...+1). (*)

1) При n=1, получаются пары a-1, a+1. Если оба эти
числа простые (как 3,5; 5,7; 11,13;...),то они называются
"близнецами". Есть гипотеза, что таких близнецов
бесконечно много, но никто это не доказал.

2) При n=2 и a=2 получаем единственную пару 3,5;
при других натуральных а получаются непростые числа,
это видно из разложения (*).

3) При n > 2 и любом натуральном а хотя бы одно из
чисел a^n-1 или a^n+1 непростое.