Let $X$ be a D17: Finite set such that
| (i) | $E \subseteq X$ is a D78: Subset |
| (ii) | \begin{equation} |E| = |X| \end{equation} |
Then
\begin{equation}
E = X
\end{equation}