theorem Th2: :: SPRECT_1:2

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