Euklidischer Vektorraum/Isometrie/Orthogonal/Fakt/Name

Der Satz über die Charakterisierung von reellen Isometrien mit Matrizen.