for u, x, y, z being object holds <*u*> <> <*x,y,z*>