El argumento anterior muestra que dados x, y cualesquiera tenemos caminos