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