Propiedad transitiva.