theorem Th21: :: NUMBER04:21

for n being Nat
for r being Real holds (r |^ ((2 * n) + 1)) + 1 = (r + 1) * (Sum (OddEvenPowers (r,((2 * n) + 1))))