Correzione dimostrazione esistenza geodetica e cancellazione todos fatti