dimostrazione coimplicazione metriche intrinseche