theorem Th26: :: NUMBER15:26

for n being Nat holds divisors ((3 |^ ((2 * n) + 1)),4,3) = { (3 |^ m) where m is Nat : ( m is odd & m <= (2 * n) + 1 ) }