Probaremos la transitividad.