theorem Th19:
  T c= W implies Int T c= Int W
proof
  assume T c= W;
  then W` c= T` by SUBSET_1:12;
  then Cl W` c= Cl T` by PRE_TOPC:19;
  hence thesis by SUBSET_1:12;
end;
