La verificación de que d* es una métrica queda de ejercicio.