Extrema/Nebenbedingung/Linearform als Zielfunktion/Fakt/Beweis

Beweis

Dies folgt wegen

unmittelbar aus Fakt.