Kategorie:Theorie der Isometrien auf euklidischen Vektorräumen/Beweise