שינויים

*<math>\mathbb{N}\times\mathbb{N}=\cup_{n\in\mathbb{N}}\mathbb{N}\times\{n\}</math>

*לכן מדובר באיחוד בן מנייה של קבוצות בנות מנייה, וכיוון שמדובר בקבוצה אינסופית <math>\aleph_0\cdot\aleph_0=|\mathbb{N}\times\mathbb{N}|=\aleph_0</math>

*תהי עוצמה אינסופית b אזי <math>b\cdot b=b</math>