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.