שינויים
/* תרגיל */
פתרון: לכל היותר <math>\mathbb{N}^\mathbb{N}</math> ולכן הפחות <math>\mathbb{N}^\mathbb{N}</math>
כי לכל <math>g\in \{\mathbb{N}^({\mathbb{N}\setminus \{1,2\})}\}</math> נתאים <math>f\in X</math> ע"י <math>f(1)=f(2)=1 </math> ועבור <math>x\neq 1,2</math> נגדיר <math>f(x)=g(x)</math> ולכן <math>|\mathbb{N}^({\mathbb{N}\setminus \{1,2\})}|\leq|X|\leq |\mathbb{N}^\mathbb{N}|</math> ולפי ק.ש.ב יש שיווון
=== תרגיל ===
