Asociatividad de la equivalencia: