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