% file is s13.tex
Moreover, $y^* = \bar{y} + z$ for some $z$ in the null space of
$B-\lambda^*C$, and we also have  $z \perp \psi$. Now $L(y,\nu,\omega) =
y^t(B-\nu C - \omega C)y - 2 \psi^t y + \nu \alpha - \omega \beta.$
So
\[
h(\nu_k,\omega_k) = L(y_k,\nu_k,\omega_k) \rightarrow
L(\bar{y},\nu^*,\omega^*) 
\]
and this equals
\[
L(y^*,\nu^*,\omega^*)=\mu^*.
\]
Attainment follows directly from the optimality conditions.\\
\hspace*{4.5in}   $\Box$
