theorem :: NUMBER14:106

{ [x,y] where x, y is Integer : y |^ 2 = (x |^ 3) + ((x + 4) |^ 2) } = {[0,4],[0,(- 4)]}