theorem Th50: :: NUMBER10:50

for k being positive Nat holds Sum (powersFS ((- k),3,((2 * k) - 1))) = 0