Hilbertraum/Abgeschlossener Untervektorraum/Punkt/Minimaler Abstand/Fakt/Beweis2

Beweis

Dies ist ein Spezialfall von Fakt.