theorem
  for A,B be Subset of SC for B1 be Subset of SC|A st B1 = B
   holds SC|A|B1 = SC|B
 proof
  let A,B be Subset of SC;
  let B1 be Subset of SC|A;
  reconsider SCAB=SC|A|B1 as maximal strict SubSimplicialComplex of SC by Th34;
  assume A1: B1=B;
  [#]SCAB=B1 by Def16;
  hence thesis by A1,Def16;
 end;
