Extrema/Nebenbedingung/Linearform als Zielfunktion/Fakt/Beweis