Vektorraum/Skalarprodukt/Vollständiger Untervektorraum/Punkt/Minimaler Abstand/Fakt
Es sei ein -Vektorraum mit Skalarprodukt und sei ein vollständiger Untervektorraum.
Dann gibt es zu jedem Punkt einen eindeutigen Punkt , für den der Abstand von zu Punkten aus minimal wird.