Menciona que si tengo un término igual a otro y este es igual a un tercero, entonces el primero es igual al tercero o al que sea igual al segundo