Euklidischer Vektorraum/Isometrie/Charakterisierung/Fakt/Beweis

Beweis

Die Richtungen und sind Einschränkungen und folgt aus Fakt.