theorem Th4:
  for A being Subset of COMPLEX n st A = V holds A is open iff V is open
     by SEQ_4:131;
