שינויים
/* עוצמה כפול עצמה */
*אם <math>|B\setminus D|\geq |D|</math> נראה כי נגיע לסתירה, ולכן מקרה זה בלתי אפשרי:
**ניקח תת קבוצה <math>U\subseteq B\setminus D</math> כך ש <math>|U|=|D|</math>.
**לכן <math>|(U\times D ) \cup (D\times U ) \cup (U\times U)|=|D|+|D|+|D|=|D|</math> (הרי ראינו מקודם כי <math>|D|+|D|=|D|</math>)**לכן קיימת פונקציה הפיכה <math>g:(U\times D ) \cup (D\times U ) \cup (U\times U)\to U</math>.
**האיחוד <math>h=f\cup g</math> הוא פונקציה הפיכה <math>h:(U\cup D)\times (U\cup D)\to (U\cup D)</math>, ולכן <math>h\in S</math>.
**ניתן להוסיף את <math>h</math> לשרשרת <math>M</math> ולהגדיל אותה, בסתירה למקסימליות שלה.
