theorem Th29: :: NUMBER15:29

for n being Nat holds card (divisors ((3 |^ ((2 * n) + 1)),4,1)) = n + 1