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