Start=Isometrie (R)

MDLUL/Isometrie (R)

Ziel=Euklidischer Vektorraum/Isometrie/Definition