Parallel-Endmaß-Satz, metrisch