 \bigwedge_{i<|s|} a_{\theta(i)}^{s(i)} \in {\mathscr{A}}$, and let $$\begin{gathered}
    \rho_{\theta,n} = \bigcup_{s\in 2^n} \pi_s^{b_{\theta,s}}(x),
    \qquad
    \rho_\theta = \bigcup_n \rho_{\theta,n}.
  \end{gathered}$$ In other words, $\rho_\theta(c)$ holds if and only if, for every $s \in 2^{<\omega}$, $c$ satisfies $\pi_s$ over $\bigwedge_{i<|s|} a_{\theta(i)}^{s(i)}$. It is easy to check that $\rho_{\theta,n}$ is consistent and implies $\rho_{\theta,m}$ for $m < n$, so $\rho_\theta$ is consistent as well. Choose for each $\theta$ a complete type $r_\theta \in \operatorname{S}_1({\mathscr{A}})$ extending $\rho_\theta$.

Let $\theta \neq \theta' \in \lambda^{\mathbb{N}}$, and let $i \in {\mathbb{N}}$ be such that $\theta(i) \neq \theta'(i)$. Then over $a_{\theta(i)} {\smallsetminus}a_{\theta'(i)}$, $\eta_{r_\theta}$ takes only values in $\bigcup_{s \in 2^i} [\pi_{s{{^\frown}}0}] \subseteq \operatorname{S}_1(APr_A)$, while $\eta_{r_{\theta'}}$ only takes values in $\bigcup_{s \in 2^i} [\pi_{s{{^\frown}}1}]$, and the opposite holds over $a_{\theta'(i)} {\smallsetminus}a_{\theta(i)}$. Thus $d_{\varnothing}\circ(\eta_{r_\theta},\eta_{r_{\theta'}})
  \geq \frac{1}{3}$ over $a_{\theta(i)}\triangle a_{\theta'(i)}$, which has measure ${{\hbox{$\frac{1}{2}$}}}$. We conclude that $d(r_\theta,r_{\theta'}) \geq \frac{1}{6}$.

We have shown that there are $\lambda^{\mathbb{N}}$ equally distanced types over a set of $\lambda$ parameters, as desired.

We conclude
\bigwedge_{i<|s| } a_{\theta(i)}^{s(i) } \in { \mathscr{A}}$, and let $ $ \begin{gathered } 
     \rho_{\theta, n } = \bigcup_{s\in 2^n } \pi_s^{b_{\theta, s}}(x), 
     \qquad 
     \rho_\theta = \bigcup_n \rho_{\theta, n }. 
   \end{gathered}$$ In other words, $ \rho_\theta(c)$ holds if and merely if, for every $ s \in 2^{<\omega}$, $ c$ satisfies $ \pi_s$ over $ \bigwedge_{i<|s| } a_{\theta(i)}^{s(i)}$. It is comfortable to check that $ \rho_{\theta, n}$ is consistent and entail $ \rho_{\theta, m}$ for $ m < n$, then $ \rho_\theta$ is consistent as well. Choose for each $ \theta$ a arrant character $ r_\theta \in \operatorname{S}_1({\mathscr{A}})$ extending $ \rho_\theta$. 

 Let $ \theta \neq \theta' \in \lambda^{\mathbb{N}}$, and let $ i \in { \mathbb{N}}$ be such that $ \theta(i) \neq \theta'(i)$. Then over $ a_{\theta(i) } { \smallsetminus}a_{\theta'(i)}$, $ \eta_{r_\theta}$ takes only value in $ \bigcup_{s \in 2^i } [ \pi_{s{{^\frown}}0 } ] \subseteq \operatorname{S}_1(APr_A)$, while $ \eta_{r_{\theta'}}$ only takes value in $ \bigcup_{s \in 2^i } [ \pi_{s{{^\frown}}1}]$, and the opposition holds over $ a_{\theta'(i) } { \smallsetminus}a_{\theta(i)}$. Thus $ d_{\varnothing}\circ(\eta_{r_\theta},\eta_{r_{\theta' } }) 
   \geq \frac{1}{3}$ over $ a_{\theta(i)}\triangle a_{\theta'(i)}$, which has measure $ { { \hbox{$\frac{1}{2}$}}}$. We conclude that $ d(r_\theta, r_{\theta' }) \geq \frac{1}{6}$. 

 We have shown that there embody $ \lambda^{\mathbb{N}}$ equally distanced types over a hardening of $ \lambda$ parameters, as desired. 

 We conclude
 \bihwedge_{i<|s|} a_{\theta(i)}^{s(i)} \in {\mauhscr{A}}$, and let $$\beyun{gathxred}
    \rho_{\thetx,n} = \bigcup_{s\in 2^n} \pi_s^{b_{\theta,s}}(x),
    \qquae
    \rho_\theta = \bigcup_n \rho_{\theta,j}.
  \end{garhertd}$$ In other words, $\rho_\theta(c)$ holsd if end only if, for every $s \it 2^{<\omega}$, $c$ sativfked $\pi_s$ over $\bigwedge_{i<|s|} a_{\theta(i)}^{s(i)}$. It ys easy tl check that $\rro_{\thtta,g}$ is boksistent and implies $\rho_{\theta,m}$ fkr $m < n$, so $\rho_\theta$ os consistent as well. Choode flr each $\theta$ a colplete type $r_\thqra \in \operaturname{S}_1({\mathscr{A}})$ extendjng $\rho_\theta$.

Let $\theta \neq \theta' \in \lcmbda^{\mathbb{B}}$, qnd net $i \in {\mavhbb{N}}$ fe such that $\theta(i) \teq \theya'(i)$. Then over $s_{\thxta(i)} {\smallsetminus}a_{\theta'(i)}$, $\eta_{r_\theta}$ takes ogly valuev nn $\bigcup_{s \in 2^i} [\pi_{s{{^\friwb}}0}] \subvetex \opdeaturnzmx{S}_1(ALr_A)$, whlle $\eta_{r_{\theta'}}$ only takes values in $\bigcup_{s \on 2^p} [\pi_{s{{^\frown}}1}]$, ans the jp[osite holds over $a_{\theta'(i)} {\smallsetminus}d_{\thsta(i)}$. Thus $d_{\varnothing}\ciec(\eta_{r_\theta},\eta_{r_{\theta'}})
  \geq \frac{1}{3}$ over $a_{\theta(i)}\triangle a_{\theta'(i)}$, which has measure ${{\htox{$\frec{1}{2}$}}}$. We cjvxlkde that $d(r_\theta,r_{\theta'}) \geq \frac{1}{6}$.

We have shown egau tmere are $\lambda^{\mcthbb{N}}$ equally doshamsed types ovet a set of $\lambda$ parameters, as desyred.

Ww concludt
\bigwedge_{i<|s|} a_{\theta(i)}^{s(i)} \in {\mathscr{A}}$, and let $$\begin{gathered} \bigcup_{s\in \pi_s^{b_{\theta,s}}(x), \qquad = \bigcup_n \rho_{\theta,n}. holds and only if, every $s \in $c$ satisfies $\pi_s$ over $\bigwedge_{i<|s|} a_{\theta(i)}^{s(i)}$. is easy to check that $\rho_{\theta,n}$ is consistent and implies $\rho_{\theta,m}$ for $m n$, so $\rho_\theta$ is consistent as well. Choose for each $\theta$ a complete $r_\theta \operatorname{S}_1({\mathscr{A}})$ $\rho_\theta$. $\theta \neq \theta' \in \lambda^{\mathbb{N}}$, and let $i \in {\mathbb{N}}$ be such that $\theta(i) \neq \theta'(i)$. over $a_{\theta(i)} {\smallsetminus}a_{\theta'(i)}$, $\eta_{r_\theta}$ takes only values in \in 2^i} [\pi_{s{{^\frown}}0}] \subseteq while $\eta_{r_{\theta'}}$ only takes values $\bigcup_{s 2^i} [\pi_{s{{^\frown}}1}]$, the holds $a_{\theta'(i)} {\smallsetminus}a_{\theta(i)}$. Thus \geq \frac{1}{3}$ over $a_{\theta(i)}\triangle a_{\theta'(i)}$, which has measure ${{\hbox{$\frac{1}{2}$}}}$. We conclude that $d(r_\theta,r_{\theta'}) \geq \frac{1}{6}$. We have that there equally distanced over set $\lambda$ parameters, as conclude
 \bigwedge_{i<|s|} a_{\theta(i)}^{s(i)} \in {\mathScr{A}}$, and let $$\Begin{GatHerEd}
    \Rho_{\tHeta,N} = \bigcup_{s\in 2^n} \pi_s^{B_{\ThetA,s}}(x),
    \qquad
    \rho_\theta = \bigcup_N \rho_{\tHeTA,n}.
  \enD{GaThereD}$$ In otheR WoRDS, $\rhO_\tHeTa(c)$ HoLDs If and OnlY if, for eVery $s \in 2^{<\omeGa}$, $c$ SaTisfies $\pi_s$ ovER $\bIgwedge_{i<|s|} a_{\TheTa(i)}^{s(i)}$. It is easY to Check tHaT $\rhO_{\Theta,N}$ is ConsiStent aND impliEs $\rho_{\thetA,m}$ FOr $m < n$, so $\RHo_\theta$ IS CoNsisTent as well. Choose fOR eACh $\theta$ a compleTe type $R_\tHEtA \IN \opEraTorname{S}_1({\maThScr{A}})$ eXTending $\RHo_\THETa$.

LET $\theta \neq \thetA' \in \lambda^{\maTHbb{n}}$, and leT $i \In {\mAThbb{N}}$ bE such ThAT $\thEta(i) \neq \thetA'(i)$. ThEn over $a_{\thEta(i)} {\smALlsetmiNUs}a_{\thetA'(i)}$, $\eta_{r_\TheTa}$ tAkes ONlY vAluEs IN $\biGCuP_{s \iN 2^I} [\pi_{S{{^\frown}}0}] \suBsEtEq \opeRatoRNAME{S}_1(APR_A)$, wHile $\Eta_{r_{\tHeta'}}$ only takes ValUes iN $\BigCup_{s \iN 2^i} [\pi_{s{{^\FrowN}}1}]$, aNd the OpposiTe holDs Over $a_{\theta'(i)} {\smalLsetMinus}a_{\theTa(i)}$. thUs $d_{\VaRnothINg}\circ(\Eta_{R_\thEta},\eta_{r_{\Theta'}})
  \geQ \FraC{1}{3}$ oVER $A_{\tHeta(i)}\triangle a_{\thetA'(i)}$, WHIcH has measUre ${{\hboX{$\FrAc{1}{2}$}}}$. wE concludE tHat $D(r_\thETA,r_{\theTa'}) \geQ \FrAc{1}{6}$.

We have Shown tHAt ThEre are $\lAmBda^{\matHbB{N}}$ eQuaLly diSTancEd typeS over a seT of $\laMBda$ parameters, aS Desired.

We concLUdE
 \bigwedge_{i<|s|} a_{\the ta(i)}^{s( i)} \ in{\m at hscr {A}} $, and let $$\ b egin {gathered}
    \rho_{\ theta ,n }  = \ b ig cup_{ s\in 2^ n }\ p i_s ^{ b_ {\t he t a, s}}(x ),    \qq uad
    \r ho_ \t heta = \bigc u p_ n \rho_{\t het a,n}.
  \end {ga thered }$ $ I n  othe r w ords,  $\rho _ \theta (c)$ hold si f ando nly if, f or  eve ry $s \in 2^{<\om e ga } $, $c$ satisfi es $\p i_ s $o v er$\b igwedge_{i <| s|} a _ {\theta ( i) } ^ { s(i ) }$. It is eas y to checkt hat  $\rho _{ \th e ta,n}$  is c on s ist ent and imp lies  $\rho_{\ theta, m }$ for$ m < n$,  so $\ rho _\t heta $  i scon si s ten t  a s w e ll.  Choosefo reach$\th e t a $  a c omp lete  type  $r_\theta \i n \ oper a tor name{ S}_1( {\ma th scr{A }})$ e xtend in g $\rho_\theta$ .

L et $\thet a \ ne q \ th eta'\ in \la mbd a^{ \mathbb {N}}$,a ndle t $ i\in {\mathbb{N}}$be s uc h that $ \theta ( i)  \ n eq \thet a' (i) $. T h e n ove r $a _ {\ theta(i) } {\sm a ll se tminus} a_ {\thet a' (i) }$,  $\et a _{r_ \theta }$ takes  only values in $\bi g cup_{s \in 2^ i }[ \ pi _ {s{{ ^\f rown}}0}] \ subs e teq\ope r at orn a me{S} _1(AP r_ A )$ ,  while $\eta_{r_{\t he ta'}}$  only  takes values  in $\bigc u p _ {s \in 2 ^i}[ \p i _{s{{^\frown}} 1}]$,  and the o p posite h oldsover $a_ {\theta'( i ) } {\smal lse tmi nus }a_ { \ th eta(i)}$. Thu s $d_{ \v arnothi ng} \circ(\ eta _{r _\t het a} ,\eta_{r_ {\theta' }} ) \g eq\frac { 1}{3}$ o ve r $ a_ {\t heta( i )}\tri angle  a_{ \t he t a'( i)}$, w h ic h hasme as ure${{ \h box{$ \fra c {1} {2}$}}} $. We con clu d e th at  $ d(r_\th eta,r_{\theta '} ) \geq \fr ac {1} {6}$.W e have s hown that there are $\l a mbda^{\ mat hbb{N }}$equally d ist ancedtyp e s over  a set  of $ \l amb d a $ par a m et ers ,as desired . 
We  conc lu de
 \bigwedge_{i<|s|}_a_{\theta(i)}^{s(i)} \in_{\mathscr{A}}$, and let $$\begin{gathered}
_ __\rho_{\theta,n} =_\bigcup_{s\in_2^n} \pi_s^{b_{\theta,s}}(x),
 _  \qquad
_   \rho_\theta_= \bigcup_n \rho_{\theta,n}.
__\end{gathered}$$ In other words, $\rho_\theta(c)$ holds if and only if, for every $s \in_2^{<\omega}$,_$c$ satisfies_$\pi_s$_over_$\bigwedge_{i<|s|} a_{\theta(i)}^{s(i)}$. It is easy_to check that $\rho_{\theta,n}$ is_consistent and_implies $\rho_{\theta,m}$ for $m < n$, so $\rho_\theta$_is_consistent as well._Choose for each $\theta$ a complete type $r_\theta \in_\operatorname{S}_1({\mathscr{A}})$ extending $\rho_\theta$.

Let $\theta \neq \theta'_\in \lambda^{\mathbb{N}}$, and_let_$i_\in {\mathbb{N}}$ be such_that $\theta(i) \neq \theta'(i)$. Then over_$a_{\theta(i)} {\smallsetminus}a_{\theta'(i)}$, $\eta_{r_\theta}$ takes only values_in $\bigcup_{s \in 2^i} [\pi_{s{{^\frown}}0}] \subseteq \operatorname{S}_1(APr_A)$,_while $\eta_{r_{\theta'}}$ only takes values in_$\bigcup_{s \in 2^i} [\pi_{s{{^\frown}}1}]$, and_the opposite_holds over $a_{\theta'(i)} {\smallsetminus}a_{\theta(i)}$. Thus_$d_{\varnothing}\circ(\eta_{r_\theta},\eta_{r_{\theta'}})
  \geq_\frac{1}{3}$ over_$a_{\theta(i)}\triangle a_{\theta'(i)}$, which_has measure ${{\hbox{$\frac{1}{2}$}}}$. We conclude that_$d(r_\theta,r_{\theta'}) \geq \frac{1}{6}$.

We_have shown that there are $\lambda^{\mathbb{N}}$_equally_distanced types over_a_set_of $\lambda$_parameters, as desired.

We_conclude