theorem Th17: :: NUMBER04:17

for r being Complex holds OddEvenPowers (r,1) = <*1*>