Remove "X is Sober and"

Thanks to Tim Evink
https://stacks.math.columbia.edu/tag/08YF#comment-6398

Author: aisejohan

CONTRIBUTORS

@@ -107,6 +107,7 @@ Jonas Ehrhard
 Alexander Palen Ellis
 Matthew Emerton
 Aras Ergus
+Tim Evink
 Andrew Fanoe
 Maxim Fedorchuck
 Hu Fei

topology.tex

@@ -4131,7 +4131,7 @@ \section{Spectral spaces}
 we see that $\bigcap (U_i \cap E)$ is nonempty by
 Lemma \ref{lemma-constructible-hausdorff-quasi-compact} and
 Lemma \ref{lemma-intersection-closed-in-quasi-compact}.
-Since $X$ is a sober space and $\{U_i\}$ is a
+Since $\{U_i\}$ is a
 fundamental system of open neighbourhoods of $x$, we see that
 $\bigcap U_i$ is the set of generalizations of $x$. Thus
 $x$ is a specialization of a point of $E$.