theorem :: NUMBER03:64

for r being Real holds
( ((r |^ 3) + ((r + 1) |^ 3)) + ((r + 2) |^ 3) = (r + 3) |^ 3 iff r = 3 )