theorem Th39:
  Int T misses Fr T
proof
  Fr T = Cl T /\ (((Cl T`)`)`) .= Cl T \ ((Cl T`)`) by SUBSET_1:13;
  hence thesis by XBOOLE_1:79;
end;
