Lemma 32.13
Kurs:Analysis (Osnabrück 2014-2016)/Teil II/Vorlesung 32
Skalarprodukt/R/Polarisationsformel mit Norm/Fakt