theorem :: NUMBER06:24

{ <*x,y,z*> where x, y, z is Real : x * (x + 1),y * (y + 1),z * (z + 1) form_an_AP } is infinite