theorem Th2: :: SPRECT_1:2

for x, y being set st <*x,y*> is constant holds
x = y