שינויים
/* אריתמטיקה של עוצמות */
כעת, קל למצוא פונקציה חח"ע מקבוצת החזקה של A ל-Y - נשלח כל תת קבוצה לזוג שמכיל אותה ואת המשלים שלה.
לכן <math>2^{|A|} \leq |Y| \leq |X| = \aleph_0^{|A|}</math>העוצמה של אוסף הפונקציות לעיל הינה <math>|\mathbb{N}|^{|A|}\leq 2^{|A|}</math>, וקבוצת החזקה הינה מעוצמה <math>2^{|A|}</math> ולכן סה"כ ולפי התכונות לעיל שני הקצוות שווים. לכן עוצמת Y הינה <math>2^a</math>.
