Extrema/Nebenbedingung/Bedingung durch Linearform/Fakt/Beweis

Beweis

Dies folgt bei  $f\ne 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