Let $X$ be a D17: Finite set.
Let $N \in \mathbb{N}$ be a D996: Natural number.

Then \begin{equation} \left| X^N \right| = |X|^N \end{equation}