Cardinality of Cartesian Product of Finite Sets/General Result/Corollary

Theorem
Let $S$ be a finite set.

Let $S^n$ be a cartesian space on $S$.

Then:
 * $\card {S^n} = \card S^n$

where $\card {\, \cdot \,}$ denotes cardinality.

Proof
This is an instance of Cardinality of Cartesian Product of Finite Sets: General Result, where each set is equal.