שינויים
/* אלף אפס היא העוצמה האינסופית הקטנה ביותר */
*דרך נוספת לזו המופיעה בסרטון:
**בהמשך נוכיח כי לכל קבוצה אינסופית <math>BX</math> מתקיים כי <math>|BX|+|BX|=|BX|</math>
**לכן <math>|A|\leq |A\cup B|=|A|+|B\setminus A|\leq |A|+|A|=|A|</math> ולפי ק.ש.ב <math>|A|=|A\cup B|</math>.
***שימו לב כי <math>B\setminus A</math> סופית ולכן קטנה יותר מהקבוצה האינסופית <math>A</math>.
**כמו כן <math>|A|=|A\setminus B|+|B\cap A|</math>
**כעת <math>|A\setminus B|\leq|A\setminus B|+|B\cap A|\leq |A\setminus B|+|A\setminus B|=|A\setminus B|</math>.
***שימו לב כי <math>B\cap A</math> סופית ולכן קטנה יותר מהקבוצה האינסופית <math>A\setminus B</math>.
**לכן לפי ק.ש.ב <math>|A|=|A\setminus B|+|B\cap A|=|A\setminus B|</math>
