reserve e for set;
reserve C,C1,C2,C3 for AltCatStr;

theorem Th20:
  C is SubCatStr of C
proof
  thus the carrier of C c= the carrier of C;
  thus thesis;
end;
