theorem Th3: :: SPRECT_1:3

for x, y, z being set st <*x,y,z*> is constant holds
( x = y & y = z & z = x )