Der Satz über lokale Extrema unter Nebenbedingungen.