שינויים
/* הלמה של צורן */
ט: תהא <math>\{B_i\}_{i\in I}</math> שרשרת כלשהיא של קבוצת שהצמצום של f עליהם חח"ע אזי הצמצום של f על <math>B:=\bigcup_{i\in I}B_i</math> ג"כ חח"ע
ה: יהיו <math>x\not=y \in B</math> אזי קיים <math>j,i\in I</math> כך ש <math>x \in B_i, y \in B_j</math>. כיוון שמדובר בשרשרת (היחס מצומצם אליה הוא יחס מלא) אזי או ש <math>B_i \subseteq B_j</math> או <math>B_j \subseteq B_i</math> נניח בה"כ <math>B_j \subseteq B_i</math> אזי <math>x\not=y \in B_i</math>
כיוון שהצמצום של f על <math>B_i</math> היא חח"ע נקבל כי <math>f(x)\not=f(y)</math>
ב. <math>B,C\in F \Rightarrow B\cap C \in F</math>
ג. <math>B \in A \land B\subset C \Rightarrow C\in F</math>
הוכח שלכל קבוצה <math>A\subseteq P(X)</math> קיים <math>F</math> בוב מינמאלי שמכיל אותה
הוכחה:
נגדיר <math>\{F|A\subseteq F \land F \; is \; bob\}</math> ונגדיר יחס <math>R</math> של "הכלה הפוכה"
(<math>ARB\iff B\subseteq A</math> )
אזי לכל שרשרת <math>\{F_i\}_{i\in I}</math> של בובים יש איבר מקסמאלי ביחס ל <math>R</math> שהוא
