Euklidischer Vektorraum/Lineare Isometrie zwischen/Charakterisierung/Fakt/Beweis

Beweis

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