for x, y being object holds {[x,x]},{[y,y]} are_isomorphic