theorem :: NUMBER15:32

{ n where n is Nat : card (divisors ((3 |^ ((2 * n) + 1)),4,1)) = card (divisors ((3 |^ ((2 * n) + 1)),4,3)) } is infinite