MDLUL/eigentliche Isometrie

Start=eigentliche Isometrie

MDLUL/eigentliche Isometrie

Ziel=Euklidischer Vektorraum/Eigentliche Isometrie/Definition