Isolated Point of Closure of Subset is Isolated Point of Subset/Proof 2

Proof
Let $x \in \operatorname{cl} \left({H}\right)$ be isolated in $\operatorname{cl} \left({H}\right)$.

By definition of isolated point, $x$ is not a limit point of $\operatorname{cl}(H)$.

From Set is Subset of its Topological Closure we have $H \subseteq \operatorname{cl} \left({H}\right)$.

Then by using the Rule of Transposition with Limit Point of Subset is Limit Point of Set, it is seen that if $x$ is not a limit point of $\operatorname{cl} \left({H}\right)$ then it can not be a limit point of $H$.

As $x$ is not a limit point of $H$, it follows that $x$ must be an isolated point of $H$.