שינויים
/* סכום ומכפלה של עוצמות */
'''מסקנה'''. אם <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>.
=== לכל מרחב וקטורי יש בסיס ===
