Euklidischer Vektorraum/Orthonormalisierungsverfahren/Fakt/Name