theorem :: NUMBER10:51

for n being positive Nat ex x being Integer ex y being Nat st Sum (powersFS (x,3,n)) = y |^ 3