\be
\item However, we
do leave as an exercise the fact that this theorem allows us to solve for $\vecx$ in
(\ref{E:KKT_local_approximation2}) when $=$ replaces $approx$.

\item Proof of KKT necessary for mixed equalities/inequalities.

\ee
