theorem :: Remark 1
  A is closed implies A is supercondensed;
