for X being non empty TopSpace
for A being Subset of X st ( A is open or A is closed ) & A is maximal_T_0 holds
not A is proper by TEX_4:56, TEX_4:60;