theorem Th37:
  for A be Subset of SC holds
    the topology of SC|A = bool A /\ the topology of SC
 proof
  let A be Subset of SC;
  A1: [#](SC|A)=A by Def16;
  then A2: bool A/\the topology of SC c=the topology of SC|A by Th33;
  the topology of SC|A c=the topology of SC by Def13;
  then the topology of SC|A c=bool A/\the topology of SC by A1,XBOOLE_1:19;
  hence thesis by A2;
 end;
