Euklidischer Vektorraum/Isometrie/Orthogonal/Fakt/Name