for x being object holds <*x*> is one-to-one