theorem :: NUMBER15:86

{ [x,y,z,t] where x, y, z, t is Integer : ( x + y = z * t & z + t = x * y ) } is infinite