Result R7: Empty set is subset of every set shows that $\emptyset \subseteq X$. Then $X \setminus \emptyset = X$ is finite since we assumed $X$ to be finite. $\square$