$(X,\tau)$ topolojik uzayının indirgenebilir olduğunu varsayarsak
$\begin{array}{rcl} (X,\tau), \text{ indirgenebilir} & \Rightarrow & (\exists U,V\in\tau\setminus \{\emptyset\})(U\cap V=\emptyset) \\ \\ & \Rightarrow & (|U^c|\leq \aleph_0)(|V^c|\leq \aleph_0)(U^c\cup V^c=X) \\ \\ & \Rightarrow & (|U^c\cup V^c|\leq\aleph_0)(|U^c\cup V^c|=|X|>\aleph_0) \\ \\ &\Rightarrow & \aleph_0< |U^c\cup V^c|\leq\aleph_0\end{array}$
çelişkisi elde edilir.