Metric proof