Extrema/Nebenbedingung/Bedingung durch Linearform/Fakt/Beweis

Beweis

Dies folgt bei wegen

unmittelbar aus Fakt. Bei ist (da ja nach Voraussetzung nicht leer ist) und die Aussage folgt aus Fakt  (2).