theorem :: NUMBER10:58

{ [x,y] where x, y is positive Nat : ((x + 1) |^ 3) - (x |^ 3) = y ^2 } is infinite