theorem Th18: :: NUMBER04:18

for r being Complex holds Sum (OddEvenPowers (r,1)) = 1