в общем нужно разложить первое число на множители (это делает с помощью формулы разность квадратов):

3^(2^n) - 1=(3^(2^(n-1)) - 1)*(3^(2^(n-2)) - 1)*...*4*2 - всего получилось n+1 множителей, причем все эти множители кроме четверки делятся на двойку без остатка ровно один раз (я думаю это в принципе понятно почему так), т.е. все число на двойку без остатка делится n+2 раз. если же мы попытаемся поделить на двойку (n+3)-й раз, то уже получим нецелое число. Т.о. на 2^(n+3) это число не делится. Ч.т.д.)