theorem
  for A being Subset of COMPLEX n st A = {} holds A is open;
