Aleph Product is Aleph

Theorem
Let $x$ be an ordinal.

Then:


 * $ \left|{ \aleph_x \times \aleph_x }\right| = \aleph_x$ where $\aleph$ denotes the aleph function.