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 mapping.