Kurs:Analysis/Extrema/Nebenbedingung/Linearform als Zielfunktion/Fakt/Faktreferenznummer

Korollar 54.7 (Analysis (Osnabrück 2021-2023))