Вот например: если есть пара чисел 2^n+1 и 2^n-1, как доказать, что для n>2 не более одного из них может быть простым? Я даже не знаю с какого конца и браться за такое.