theorem Th96: :: NUMBER14:96

rng exampleSierpinski149 c= { [x,y,z] where x, y, z is negative Integer : (((4 * x) * y) - x) - y = z ^2 }