theorem :: NUMBER08:98

{ [x,y] where x, y is positive Rational : ((2 * (x |^ 3)) + (x * y)) - 7 = 0 } is infinite