Euklidischer Vektorraum/Eigentliche Isometrie/Definition