rewrite 827

Author: felixpernegger

theorems/T000827.md

@@ -8,4 +8,4 @@ then:
   P000078: true
 ---
 
-Note that if $p\in X$ is the non-isolated point and $x \in X$, we must have $\operatorname{cl}(x)\subseteq \{x,p\}$. A similar argument as in {T824} thus proves the assertion.
+Let $p \in X$ be the non-isolated point. Since {P226} is hereditary, the discrete space $X \setminus \{p\}$ (and by extension $X$) must be finite by {T824}.