theorem :: NUMBER10:52

for x being Real holds
( ((((x + 1) |^ 3) + ((x + 2) |^ 3)) + ((x + 3) |^ 3)) + ((x + 4) |^ 3) = (x + 10) |^ 3 iff x = 10 )