Extrema/Nebenbedingung/Bedingung durch Linearform/Fakt/Beweis

Beweis

Dies folgt bei ${}f\neq 0$ wegen

{}\left(Df\right)_{a}=f\,

unmittelbar aus Fakt. Bei ${}f=0$ ist ${}M=U$ (da ja ${}M$ nach Voraussetzung nicht leer ist) und die Aussage folgt aus Fakt (2).