reserve X for non empty TopSpace;

theorem Th3:
  for A being Subset of X st A is open or A is closed holds A is
  maximal_T_0 implies A is not proper
by TEX_4:56,TEX_4:60;
