theorem :: NUMBER10:63

for x, y being Integer holds (x |^ 2) - (y |^ 3) <> 7