theorem :: NUMBER09:65

{ [x,y,z] where x, y, z is positive Nat : (1 + (x ^2)) + (y ^2) = z ^2 } is infinite