lo que prueba la transitividad.