שינויים
/* הלמה של צורן */
הוכח שלכל קבוצה <math>A\subseteq P(X)</math> קיים <math>F</math> בוב מינמאלי שמכיל אותה
(כלומר אם <math>A\subseteq F'</math> בוב אזי וגם <math>F'\subseteq F</math> אזי <math>F=F'</math>)
הוכחה:
ג. באופן דומה.
לפי הלמה של צורן קיים איבר מקס' ביחס ל <math>RF'</math> שזה איבר מיני' ביחס להכלה רגילה.
