theorem Th49: :: NUMBER10:49

for k being Nat holds Sum (powersFS ((- k),3,(2 * k))) = k |^ 3