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).

Zur bewiesenen Aussage