transitivity of identity