theorem Th85: :: NUMBER15:85

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