theorem FunnyLemma: :: NUMBER18:44

for a, n being Nat st a > 1 & n > 1 & (a |^ n) + 1 is Prime holds
n is even