KKT-conditions