To see that (iii) is satisfied, let
$B\subseteq {\lambda}^{+}$
be a finite set of ordinals such that
$B\cap \lambda =\varnothing $
, and let
$\rho $
be such that
$B\subseteq \rho <{\lambda}^{+}$
. We wish to show that
$\left\{j\right|B\subseteq {W}_{\rho ,j}\}\in D$
. Let
$B=\{{j}_{1},\dots ,{j}_{n}\}$
. Recall that by (e) of the subclaim,
${N}^{*}\vDash {F}_{i(j,\rho )}\left({a}_{\rho}\right)={a}_{j}$
whence
$${C}_{k}=\left\{i\right|{M}^{*}\vDash {F}_{i({j}_{k},\rho )}\left({f}_{\rho}\right(i\left)\right)={f}_{{j}_{k}}\left(i\right)\}\in D,$$
for each
$k=1,\dots ,n$
. Also by definition if
$i\in {C}_{k}$
then
$i\in {A}_{{j}_{k},\rho}$
whence
${j}_{k}\in {W}_{\rho ,i}$
. Thus
${C}_{1}\cap \cdots \cap {C}_{n}\subseteq \left\{i\right|B\subseteq {W}_{\rho ,j}\}\in D.$
The claim is proved.
Now if we transfer the sets
${u}_{j}^{\rho}$
,
$\lambda \le \rho <{\lambda}^{+}$
to all of
${\lambda}^{+}$
, (iv) implies (i), proving the Claim. The claim concerning the equivalent formulations involving models of size
$\le {\lambda}^{+}$
follows from the fact that in the derivation
$\left(iv\right)\to \left(i\right)$
above we have
$\left|M\right|=\lambda $
and
$\left|N\right|={\lambda}^{+}$
. Thus Theorem 4 is proved.
$\square $