'''מסקנה'''. אם <math>\max\{|A|,|B|\}</math> עוצמה אינסופית, אז <math>\ |A|\cdot |B| = \max\{|A|,|B|\}</math>.
'''הוכחה'''. נניח ש-<math>\ |A|\leq |B|</math>; . לפי ההנחה <math>|B| </math> אינסופית, ולכן <math>\ |B| = 1\cdot |B| \leq |A|\cdot |B| \leq |B| \cdot |B| = |B|</math>.
'''מסקנה'''. לכל שתי קבוצות אינסופיות A,B מתקיים <math>\ |A| + |B| = \max\{|A|,|B|\}</math>.
'''הוכחה'''. נניח ש-<math>|A|\ leq |B|</math>. \max\{אז <math>|AB|</math> אינסופית,ולכן <math>|B|\} \leq |A| + |B| \leq = 2 \max\{|A|,|B|\} = \max\{|A|2,|B|\}=|B|</math>.
=== לכל מרחב וקטורי יש בסיס ===
=== הגרסה החזקה של הלמה של צורן ===
'''הלמה של צורן''' (גרסה חזקה). תהי X קבוצה סדורה היטב לא ריקה, עם התכונה שלכל תת-קבוצה סדורה היטב (ולא ריקה) ב-X יש חסם מלעיל. אז יש ב-X איבר מקסימלי.
גרסה זו חזקה מן הקודמת, משום שהפעם אנו מסתפקים בהנחה שיש חסם מלעיל לשרשראות שהן סדורות היטב, ולא דורשים את התנאי הזה לכל השרשראות.