Lemma

Let $\bold{H}_n$ be spd, $\bold{y}^T \bold{s} \gt 0$, and $\bold{H}_{n+1}$ given in equation (2). Then $\bold{H}_{n+1}$ is spd.