theorem :: NUMBER04:25

for a being Nat st a > 1 holds
{ n where n is Nat : n divides (a |^ n) + 1 } is infinite