reserve T for non empty TopSpace,
  A, B for Subset of T,
  F, G for Subset-Family of T,
  x for set;

theorem Th42:
  for T being TopSpace holds {}T is perfect
proof
  let T be TopSpace;
  Der {}T = {}T by Th40;
  hence thesis by Th41;
end;
