Altså er alle betingelser oppfylt – og ethvert euklidsk rom, med metrikk gitt ved avstanden mellom to punkter, utgjør et metrisk rom.